2010-01-15から1日間の記事一覧

3imp

Schemeの実装について書かれた論文と聞いて(ガラッ id:propella:20100111で紹介されていた論文3impに興味津津! あー、僕もScheme実装してみたいなぁー。...いかんいかん、また病気が。

ポップされた環境フレーム

前のエントリで、ポップされた環境フレームに関する疑問をちょっと書いた。 で、それっぽい答えを出したけど、その答えが正しいとしたら、また新たな疑問がでてくる。 例えば、次の条件を全て満たすような場合はどうするんだろう。 環境からポップされた環境…

環境フレームモデル

置き換えモデルではbeginやset!が絡んだ時に正しい値にならなかった。だけど、環境フレームモデルでは正しく計算できるらしい。 だい〜ぶお利口、置き換えモデルよりいくらかCOOL(by 宮崎吐夢 環境フレームモデルでも「環境」を用いるが、置き換えモデルの…