kilrey https://blog.hatena.ne.jp/kilrey/ うっくつさん本を読む。 https://kilrey.hatenadiary.org/ 言語 引数の型は事前条件の一種だ。返値の型は事後条件の一種だ。と思いついてから検索したらEiffelが出てきた。 「厳密な事前／後条件が成り立っているかどうか」を調べるためには動作条件での検証が必要になるのだが、動作条件での検証では「事前／後条件が常に成り立っているかどうか」を調べることが難しい。そのため、強い型付きの言語では型整合性という「事前／後条件の必要条件が常に成り立っているかどうか」をコンパイル時に調べている。 もしも型が一般的パラメータ、javaのgenericsのような型パラメータではなく、を持っていれば、大半の事前／後条件は厳密に判定できるのではないだろうか。*1 void meth… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkilrey.hatenadiary.org%2Fentry%2F20041006%2Fp1" title="条件 - うっくつさん本を読む。" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2004-10-06 00:00:00 rich https://kilrey.hatenadiary.org/entry/20041006/p1 1.0 100%