るついでに
話の流れからすると要するに、動的言語でもassert()を入れろって事ですか？
>>464 のEiffel流、ってどんな感じでしょうね。