リスコフの置換原則はあなたが思っている以上に多くのことをする

リスコフの置換原則は単なるサブタイピング以上のものであり、メソッドの事前条件と事後条件に関する契約の観点から、継承に限定されず、コードの置換全般に適用できる。APIの変更やバージョン管理においても、事前条件を弱め、事後条件を強めることで互換性を保証できるが、ハイラムの法則により明示的な契約の重要性が示される。