サブタイピング多相

subtyping polymorphism

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

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

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

動的な多相

関連

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

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

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

ex.

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

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

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