2006-11-21から1日間の記事一覧
上のエントリに書いたcallccの例が、SML/NJでどうなるのか確かめようと思って試したら Standard ML of New Jersey, Version 110.0.7, September 28, 2000 [CM; autoload enabled] - fun mycallcc f = SMLofNJ.Cont.callcc (fn k => f (SMLofNJ.Cont.throw k)…
http://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3acall%2fcc%e3%81%a8%e5%89%af%e4%bd%9c%e7%94%a8 (via http://d.hatena.ne.jp/flappphys/20061119#p2)おお、これは正確でわかりやすい議論ですね。call/ccが参照透明性を破壊する(ややトリッキーな…