一部のJava上で動くLispみたいに（「ぶぶ」とか）
（LispからJavaのクラスを呼び出したり、その逆も出来る）
Javaに寄生してその辺の問題点をとりあえずは回避できないかな。
もっとも、MLの「速い」という利点は無くなっちゃいますけど。

SML.NETだとそういう状態になるのかな？
だといいんだけど。

もしそうなら
Ocaml.NETも欲しいかもしんない。