2009-06-15から1日間の記事一覧

操作的意味論 vs 表示的意味論

http://d.hatena.ne.jp/ranha/20090615 (via http://d.hatena.ne.jp/yad-EL/20090615/p2) 「諸君らの愛した表示的意味論(R5RS)は死んだ。なぜだ?」 う、これは私も(というか私ごときでは)迂闊に発言できないテーマです…。Scheme (R5RS → R6RS)に固有の事情…