typechecker

English

Alternative forms

• type checker

Etymology

type +‎ checker

Noun

typechecker (plural typecheckers)

1. (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

• typecheck (verb)