が公開されています。SML#や関数型言語の実装などに興味があればぜひ。http://www.pllab.riec.tohoku.ac.jp/smlsharp/ja/?Slidesコード複製による多相関数の実装で、なぜ対話環境やモジュール(structure)の分割コンパイルが実現困難なのか、そこだけまだよく…

http://itpro.nikkeibp.co.jp/article/COLUMN/20070410/267632/出ました。今回はインタプリタと「コンパイラ」と部分評価と操作的意味論。後ろの２つは「お話」だけですが。