English Dictionary

typechecker

名詞

(programming) A system or algorithm that verifies values against their required data types, according to the type system of the language.

日本語の意味

プログラミングにおいて、値が所定のデータ型に適合しているかを確認するシステムやアルゴリズム。 / 型チェックシステム。

The typechecker flagged a mismatch between the function's declared return type and the actual value.

型チェッカーは、関数の宣言された戻り型と実際の値との不一致を指摘しました。

意味（1）

(programming) A system or algorithm that verifies values against their required data types, according to the type system of the language.

The catch is that to get the full benefits of the type checker, the programmers have to add complex annotations to their code.

typecheckers （ plural ）