polymorphism

日本語

多相

多型

多態

学術用語

生物学: 多型

化学: 多形

計算機科学: 多相、多態

OOPのキモ

ここからはCSの話

いわゆる overload

type class ともいう

隠しパラメーターによる polymorphism と言っても良いのでは？

実装的にはそう

others

row polymorphism

ja. 行多態？

structural subtyping 前提？

record型 や polymorphic variants などに 使う。

record type ⊂ row type

ラベルと値の組は ざっくり 3種類

item = key:type

そのラベルがないことのマーカー

残り または 空白

additional items を許すか

polytypism

cf. PolyP

union of subtyping

union type

tagged union

aka. polymorphic variants?

ref.