型チェック

型チェックとは、変数*のデータ型と同じデータ型の値が代入されているかなど、データ型に関連したチェックを行うことです。

型チェックは、コンパイラやインタプリタが行います。

型チェックにより、プログラムを意図した通りに動作させることができます。