公称的部分型
nominal subtyping
関係性を明示することで派生型 (derived type)が決まる仕組み
派生型にするためにはプログラマが明示的にそれを記述する必要がある
classの継承やinterfaceの実装など
2つの型が全く同じ形をしていても、継承関係がない場合は、異なるものとして扱う
言語例
Java, Swiftなど
PHPも
参考
TypeScript: 異なる2つの型システム「公称型」と「構造的部分型」 - Qiita