>>65
>シビアーな用途

シビアーな用途といえば、MLではプログラムの検証（Verification）はどうなってい
るのでしょう？
Javaですと、配列の範囲外アクセスがないということを事前検証できますよね、確か。