>>513
言いたかったのは、なぜMeyerはstatic typingに拘るのかなー
っつー素朴な疑問なんだけど。
インスタンス変数やメソッドの引数に指されるオブジェクトの契約も使いたい、
っつーことかなー、と、何となく思ってたんだけど、でも、
実行時にのみ検査するだけなら、別にstatic typingかどうかとは関係ないかなー、
と思ったんだ。
まとまってなくてスマソ。

まあ、それはそれとして、
動的言語にadd-hocにassertion実装するにしても、
それを継承とスリ合わせたり
(postcondition, precondition, invariantの継承)、
bytecode毎に必要なinvariantのチェックしたり、
結構compiler自体に手を入れなきゃいかん部分が
多いように思われ。