typechecker
Jump to navigation
Jump to search
English[edit]
Alternative forms[edit]
Etymology[edit]
Noun[edit]
typechecker (plural typecheckers)
- (programming) A system or algorithm that verifies values against their required data types, according to the type system of the language.
- 2015 April 2, James Somers, “Toolkits for the Mind”, in MIT Technology Review[1]:
- The catch is that to get the full benefits of the type checker, the programmers have to add complex annotations to their code.
Related terms[edit]
- typecheck (verb)