型システム
type system
型理論 - 型システムの土台。
カインド (型理論)
System F
ラムダキューブ
依存型
ポリモーフィズム
多重定義（アドホック多相）
総称型（パラメトリック多相）
派生型（サブタイプ多相）
抽象型
インタフェース (抽象型)
mrsekut-p - /mrsekut-p/型システム
herp-technote - /herp-technote/型システム
prog-lang-sys-ja - /prog-lang-sys-ja/型システム
qiita.icon型システム
zenn.icon 型システム
github.icon 型システム
https://ja.wikipedia.org/wiki/型システム