type checker (型チェッカー)

型チェックは、実行前のプログラムをチェックするために使用されます。 これにより、データ型の値と構文が検証されます。 プログラミング言語の型システムの主な目的は、型のエラーに起因するプログラムのバグの可能性を減らすことにあります。