一部のプログラミング言語の機能で宣言される各データ項目の型を必要とする演算子の不適切なデータ型への適用を排除し、互換性のない型のデータ項目の相互作用を防止します。