typechecker
nounEtymology From type + checker.
1
Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Programming, Sciences 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:
- Related terms
- typecheck