私がよく読んでいる達人プログラマーの本の中に契約による設計という章があります。 こちらの内容をCacapon的な解釈だと受け取るデータ、渡すデータ、内部のデータに条件をつけて、関数やクラスが扱うデータが明確にするための考え方だと思っています。 契約…