2009/10/22

トップレベル式

天泣記2009-10-19 (Mon)

ありゃ、なんか誤解してるかな?

    gosh> x
    *** ERROR: unbound variable: x
    Stack Trace:
    _______________________________________
    gosh> (car (begin (define x 1) '(1 2)))
    1
    gosh> x
    1

あーそれはGaucheの手抜きです。R5RSでは不正な式に対してエラーを通知することは要求されてないので、「こんな式書かないだろう」と私が勝手に思ってる不正な式については不定な動作をします。その動作が将来にわたって保たれる保証はありません。

あんまりエラーチェックに熱心じゃないので、「Schemeではどうなるか」というリファレンスとして使うのに良い処理系じゃないです。仕様書を見てもらうことが一番確実ですね。

Tags: Programming, Gauche

2009/10/18

#permalink

begin

天泣記2009-10-19 (Mon)

ここで思ったのだが、Lisp ではなんで prog1 や progn (Scheme なら begin) は関数じゃないんだっけ? 引数の評価順序が決まってないから?
では、引数の評価順序を決めてしまえば普通の関数にしていい?
効率?

ちょっと考えてみたんだけど、順序と効率以外にSchemeの場合、次の点が問題になりそうだ。

beginの途中の式には、「値を返さない」式 (0個の値を返す式) が許される。また、beginの最後の式は複数の値を返すかもしれない。関数にしてしまうと、すべて一つの値を返さなければならなくなる。 (prog1に相当するGaucheのbegin0も、最初の式で複数の値を返すことができる)。
beginフォーム自体が末尾式の場合、beginの最後の式は末尾コンテキストで評価されなければならない。関数にしてしまうと引数評価は末尾コンテキストにならない。例えば次の式が末尾再帰にならない:
```
(let loop () (begin ... (loop))
```
begin0の場合はこれは関係ない。
beginは定義式を含むことが許されてて、これらの定義式はbeginが現れた位置にspliceされる。複数の定義式へと展開されるマクロを書くため。

CLの場合は末尾再帰が要求されてないし、多値の受け取りの条件も緩いので、問題になるのはprognの最後の式が2つ以上の値を返す場合のみかな?

まあ現実問題として、(prog1 exp0 exp1 ... exp100) なんて式でprog1が関数だと、100個分の結果を必要もないのにどっかに貯めておくなんてもったいないって思っちゃうので、実用上は効率が一番気になるかもしれん。

Tags: Programming, Scheme, Lisp

2009/10/16

#permalink

Chaton-Twitter bridge

うまく動いてるみたいだし、思ったより便利なので、こっちでも宣伝しとこう。

Lingr閉鎖に伴ってGauche部屋他の避難所として作ったチャットChatonだが、要望があったのでtwitterとのブリッジを動かしてる。

Chatonの各部屋 (Gauche, Chaton, COMMON LISP JP, haskell-ja) へのポストは、対応するtwitterアカウント http://twitter.com/chaton_gauche , http://twitter.com/chaton_chaton , http://twitter.com/chaton_cljp , http://twitter.com/chaton_haskell へとフォワードされる。
対応するtwitterアカウントをフォローしているtwitterユーザが @でそのアカウントにリプライすると、その発言がChatonの方にフォワードされる。

chaton->twitterの方はcometで通知するんでほぼリアルタイムだけど、 twitter->chatonは1分おきのポーリングなので多少ラグがある。あと、twitterとのアクセスに失敗した場合のリトライとかやってないし、こっちの都合でブリッジを落とすこともあるので、完全に信頼できるものではない。ただまあ、フォローしとくと発言がまとめてウオッチできるのは便利。

あと、今の流量だとAPI制限にはまずひっかからないので何も対策してないけど、突然ポピュラーになったらひっかかるかも。

ソースはsf.netのリポジトリ中のexamples/chaton-twitterに。この手のスクリプトのサンプルにもなるかと。ただしGaucheのsvn trunkが必要。最近足した機能を使ってるので。

Tags: Programming, Gauche