あれ2026/10/7 23:48:00 『設計次第でAIコードの読む量は減らせる / designing-for-code-reading - Speaker Deck』 契約による設計の事前条件と事後条件は、引数や戻り値をオブジェクト化してそのオブジェクトのコンストラクタで判定したらいいんじゃないだろうか。これのメリットとしては、同じ制約を持つ複数の関数があったときに、その制約を検証するコードを共通化できる。加えて、引数の誤りを型によって検知できる。