#subtyping

• リスコフの置換原則は同じ結果ではなく上位型の契約を保つことを求める updated 2026-09-28