何で外部ツールを使うのがいけないんだろう……
大体 ML のすごさは別のところにあるだろう。C++ の Boost が凄いからって
ML で同じ方向で凄いことが出来るわけじゃないし。
大体多重定義出来ないじゃん？ GCaml はまだ発展途中だし。

ML のすごさは素直なところであって、変態的(これはこれで褒め言葉)な
ところではない。