先日、メソッドの事前条件/事後条件の話をしていたところ、うちのししょーが「そもそもJavaのコントラクトの表現があまりに貧弱」と言っていました。たとえば、 引数の値の範囲チェックができない メソッドの呼び出し順を保証してくれない といった話です。…