ポリモーフィズム

ポリモーフィズムは、通常以下の三種に分けられる

アドホック多相（ad hoc polymorphism）

恣意的な型の集合に一つの共通接点を提供する。

パラメトリック多相（parametric polymorphism）

詳細化されていない型要素を内包する抽象的な型に記号表現を提供する

ジェネリクスや関数型言語の型構築子など