t_wの輪郭

停止条件付契約は条件が生じたら効力が生じる契約

一般媒介契約
専任媒介契約
専属専任媒介契約

物権変動

これは私が求めていたものに非常に近しい。

契約をDBのテーブルで表現するのに苦労していた。
「契約」は権利の移動だろうというところまでは考えていた。
契約について絶対誰かがどこかで定義してるので、探さねばとなっていた。

契約を集合論に則って表現できたとする。
その契約は演算可能となる。
演算可能ならばテスト可能である。
契約を集合として表現すればテストできる。

私の雑な理解

関数の引数と返り値をassert（表明）や型でチェックするプログラミングのスタイル。

assertでチェックするのは当たり前の前提のチェックにとどめると良いらしい。例えば、「ユークリッド距離は負数を返さない」など。

嬉しさ

関数を使うときに、呼び出しのネストが浅いところでassertでエラーになって、どういう間違いをしているか教えてもらえると楽。
さらにいうと、引数が型になっていて、エディターが間違いを教えてくれるともっと楽。実行しなくても間違いに気づけるので。

勝った！！！その場で契約せずに耐えた！！！