型検査
Type checking
変数や関数へのデータの受け渡し時に、取り扱うデータの型が正しいかどうかを確認する。
コンパイル時に型検査を行うのは静的型検査。実行時にエラーが発生しないことがほぼ保証できる。また最適化することができる。
実行時に型検査するのは動的型検査