typechecking

Noun

uncountable

(computing) The process of verifying whether a given value belongs to a certain data type.

Japanese Meaning

与えられた値が特定のデータ型に属しているかどうかを確認する処理。 / 値が期待されるデータ型に適合しているかの検証作業。

The compiler's typechecking prevented a runtime error by rejecting the mismatched value.

コンパイラの型検査が、型の不一致がある値を拒否して実行時エラーを防ぎました。

Sense（1）

(computing) The process of verifying whether a given value belongs to a certain data type.