例えば、ある関数の引数が型 T を取る時、 T の派生型 (derived type)である 型U も取れるような性質

型同士の間に部分型関係と呼ばれる順序関係を与え、その順序に基づいて式に複数の型を与えるもの

OOPでの「ポリモーフィズム」

動的な多相

関連

サブタイプの関係性を明示する

構造によってサブタイプが決まる

型クラスの継承関係はサブタイピング多相とはいわない？

ex.

JavaやC#などのオブジェクト指向言語の型システムで使われている

TypeScriptやJavaの <T extends string> のようなもの？

Haskellでのサブタイピング多相