関係性を明示することで派生型 (derived type)が決まる仕組み

派生型にするためにはプログラマが明示的にそれを記述する必要がある

classの継承やinterfaceの実装など

2つの型が全く同じ形をしていても、継承関係がない場合は、異なるものとして扱う

言語例

Java, Swiftなど

PHPも

参考