Jump to content

typechecker

From Wiktionary, the free dictionary

English

[edit]

Alternative forms

[edit]

Etymology

[edit]

From type +‎ checker.

Noun

[edit]

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.
[edit]
Retrieved from "https://en.wiktionary.org/w/index.php?title=typechecker&oldid=81298732"