>>591
型付けの弱い言語に型推論付きのソースレベルデバッガがあればOKって話？
たぶん、それは無理だよ。推論を前提にした言語設計になっていないと、無理。
SML/NJでも、推論に時間がかかりすぎる可能性はあるんだし。

不正な型のオブジェクトを与えられたときに確実に適切な例外を投げるように
UnitTestしてやって、きちんと例外処理を書くってことでどう？