型チェックって、そんなに高くつくの？
事前条件や事後条件の検査の方が高くつきそうだけど。

動的型付けのオブジェクト指向言語の場合、当然メソッドディスパッチが実行時
に行われるけど、それは高くつきそうな気がする。静的な型付け言語の場合、メ
ソッドディスパッチがコンパイル時に行われているのが強みでは？

んで、SML/NJって、動的なポリモーフィズムなの？
SML/NJにおけるポリモーフィズムって、型変数を引数にもてるってだけじゃん。
動的なメソッドディスパッチとかしないと思うんだけど...？

# もし、違ってたら、知ったかでスマソ。