typechecker

== English == === Alternative forms === type checker === Etymology === From type +‎ checker. === Noun === typechecker (plural typecheckers) (programming) A system or algorithm that verifies values against their required data types, according to the type system of the language. ==== Related terms ==== typecheck (verb)