generated at
型システム
type system
型理論 - 型システムの土台。
カインド (型理論)
System F
ラムダキューブ
依存型
ポリモーフィズム
多重定義（アドホック多相）
総称型（パラメトリック多相）
派生型（サブタイプ多相）
抽象型
インタフェース (抽象型)

mrsekut-p - /mrsekut-p/型システム
herp-technote - /herp-technote/型システム
prog-lang-sys-ja - /prog-lang-sys-ja/型システム

qiita型システム
zenn 型システム
github 型システム
https://ja.wikipedia.org/wiki/型システム