typechecker en · NOUN
Etymology
From type + checker.
Meanings
-
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.
2015 April 2, James Somers, “Toolkits for the Mind”, in MIT Technology Review:
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| typecheckers | Number=Plur | lexicographic | |
| type checker | alternative | lexicographic |