契約プログラミング

メモ Programming

http://blogs.wankuma.com/episteme/archive/2008/06/23/145011.aspx


メイヤー本は今年の抱負に含まれていたような気がするけど、まだ買ってないや（汗
高いし、積読も結構あるし、まだまだ先かなぁ。。。


以下メモ

  • 事前条件 (precondition)
    サブルーチンの開始時に、これを呼ぶ側で保証すべき性質。
  • 事後条件 (postcondition)
    サブルーチンが、終了時に保証すべき性質。
  • 不変条件 (invariant)
    クラスなどのオブジェクトがその外部に公開しているすべての操作の開始時と終了時に保証されるべき、オブジェクト毎に共通した性質。
契約プログラミング

(PbC|DbC)の大まかな概念は結構前から知っていたけど、自分の中ではまだ定着していない・・・。
まずは有用性をしっかり理解するところからかなー。