んーじゃそれはちょっと悲しいので提議をしてみます。

ML 系言語だと SML/NJ と OCaml が有名だという認識なんですが、他の処理系
を使ってる人っていますか？　どう違うとかどう嬉しいとか、そもそもどうい
うのがあるかとか(Moscow ML くらいしか知らないんですが)。