>>360
まだ全然読めてないですが・・
Cleanとかはグラフ書き換えによって名前衝突回避してるそうですね
Dockins氏のサイト、lambda式の評価器のコードがあったので
落としました。しかし、Haskell読めないという罠

>>363
>>368のArcのプログラム見てみましたが
とても短いのに、そのままschemeに移植したら動いたので感動しました
α変換は暗黙的に置換に含まれてしまってますね

後、コード読んでて気づいたんですが
Arcのfn(lambda)式の引数部分とletはパターンマッチできる！
これはSchemeにも欲しい

;xがλx.Mかはテストしておいて
(let (lam var body) x
　(do (prn lam) (prn var) (prn body) nil))