オブジェクト指向はオワコン？ part4

>>178
型の同一性に関する話だからサブタイピングだけじゃないよ。

型の別名みたいに対称律が成り立つかどうかは大きく違うところ。