http://research.microsoft.com/~simonpj/Papers/pj-lester-book/最初の 25 ページしか読んでないけど、こ、これは面白い。。。Miranda という Haskell のご先祖様な言語で遅延評価な関数型言語を作る話です。知りたかったテーマどんぴしゃな話題でびっくり…