typechecking

名詞

不可算名詞

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

日本語の意味

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

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

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

意味（1）

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