- 388 名前：デフォルトの名無しさん mailto:sage [2009/06/07(日) 00:29:01 ]
- >>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))
