http://www.pllab.riec.tohoku.ac.jp/smlsharp/Changes

http://itpro.nikkeibp.co.jp/article/COLUMN/20070703/276517/「並列論理和は並列Haskellでは実装できず、並行Haskellで実装する必要がある」とのこと。へーへーへー（←死語）。

OCamlのデバッガは実行の後戻りが可能なのですが、そのために一定間隔でforkしているはずで、Cygwinだとcopy on writeができなくて激遅かったりしないでしょうか。いや、まったく確かめていないのですが（←ダメじゃん）、例の「ocamldebugが遅い」という文句…