Client (Caller) とSupplier (Callee) Obligationとbenefits Design by Contract (契約による設計) はプログラミング技法のひとつ。 Eiffelには言語レベルで直接実装されている1 呼び出し側 (Client, メイン側) と呼び出され側 (Supplier, コルーチン・関数…

どうやって担保するか f: X -> Y 関数fは入力/引数 x ∈ 定義域X を取り、出力/返り値 y ∈ 定義域Y を返す 関数fはcallerによって呼び出される. 引数を渡すのはcallerであるから、正しい引数xを渡す責務はcallerにある. 正しい引数を渡された関数は y ∈ Yを返…