契約による設計を言語レベルでサポートしなくても、ライブラリレベルでサポートも可能なのかなと、ClassXを知って、http://www.infoq.com/jp/articles/dsl-on-the-clr を読んで思った。 ディフェンスとしての契約の設計というより、 precondition/postcondit…