polymorphism
日本語
多相
多型
多態
学術用語
生物学: 多型
多型 - Wikipedia
化学: 多形
多形 - Wikipedia
計算機科学: 多相、多態
ポリモーフィズム - Wikipedia
OOPのキモ
#polymorphism
は3種ある
parametric polymorphism
いわゆる generics
ad-hoc polymorphism
いわゆる overload
type class ともいう
隠しパラメーターによる polymorphism と言っても良いのでは?
Scala
の implicit は これでは?
実装的にはそう
subtyping
いわゆる
OOP
的な継承のこと
一般的には
nominal subtyping
structural subtyping
もある
e.g.
Elm
,
TypeScript