Python絡みのメモを公開しています。Contracts(契約プログラミング)C#同じくBCLチームのブログよりhttp://blogs.msdn.com/bclteam/archive/2008/11/11/introduction-to-code-contracts-melitta-andersen.aspx核となるクラスはSystem.Diagnostics.Contractsで、このクラス内にstaticメソッドが定義されているみたいです。後はこれを使って事前条件や事後条件を記述していくって感じですね。あと、InfoQに日本語での記事があったのでメモメモ。3はてなブログをはじめよう!gsf_zero1さんは、はてなブログを使っています。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。