Type System
型システムは式に型を割り当て、コンパイル時に型エラーを検出して、実行時の型関連の障害を防ぐ。
目的
コンパイル時に型エラーを捕捉し、安全性とドキュメント性を提供する。静的型付け言語の中核である。
メカニズム
型付け規則が式に型を割り当て、型検査器がそれを検証する。強い型付けは暗黙の危険な変換を許さない。静的はコンパイル時に検査する。漸進的型付け（TypeScript）は動的エスケープハッチを許す。型推論（Hindley-Milner）は型を自動導出する。
ユースケース
- コンパイル時の安全性
- 型推論のベース
- プログラミング言語の設計