typechecking

noun

UK /ˈtaɪpˌtʃekɪŋ/

US /ˈtaɪpˌtʃekɪŋ/

Typechecking is when a computer checks that the kinds of things in a program match what they should be.

The compiler does typechecking before it runs the program.

SYNONYMS

type verification type validation type analysis type inspection

RELATED WORDS

compiler static analysis type system type inference programming language

OTHER MEANINGS

2. The process of confirming that data belongs to the expected category before using it.

The form does typechecking to make sure the age field holds a number.

3. A feature in some programming languages that catches mismatched types while the code is being written.

Thanks to typechecking, the editor flagged the error before the code was even run.

4. Checking the type or category of an object in a dynamic system at runtime.

Runtime typechecking stopped the script when it received text instead of a number.