>>175
ML2000は俺も気になって聞いてみたことがあるんだが、
完全にｱﾎﾞｰﾝ状態らしい。そもそも

http://flint.cs.yale.edu/flint/publications/ml2000.html

に出てる「仕様」の案は、まだばりばりに研究途中の話ばかりで
1年や2年では実用化不可能と思われ。

研究者が自分たちで利用してる処理系はocamlにシフトしつつあるので、
復活は期待できないかと…