型マッチングを構文に含めば*1ダウンキャストを無くせるような気がする。 if( object instanceof TypeA){ TypeA objectAsTypeA = (TypeA) object; // do Something. } else if( object instanceof TypeB){ TypeB objectAsTypeB = (TypeB) object; // do Some…

引数の型は事前条件の一種だ。返値の型は事後条件の一種だ。と思いついてから検索したらEiffelが出てきた。 「厳密な事前／後条件が成り立っているかどうか」を調べるためには動作条件での検証が必要になるのだが、動作条件での検証では「事前／後条件が常に…