書き方が悪かったかもしれませんが、書き捨てのスクリプトとは数行から数十行
程度の、安心より手軽さが重要な、アドホックなプログラムを指したつもりです。
そういうコードを書く時は、いちいち型を意識するのは面倒ですよね。もしかして
ML はそういった用途には向いてないのかなと思いました。対話的な開発環境が
あるので、書き捨てスクリプトを作る用途も意識した言語かなと思っていたのです
が。
型推論もありますが、面倒なのは型を記述する事では無く、型を意識してコードを
書く事なのであまり助けにならないように思います。型推論はもっと別の目的の為
にあるのかなぁと。

そんな事は無い、あらゆる場面で ML を使っていると言う方がいらっしゃったら
是非ご意見を聞かせて下さい。