typechecker

English

Alternative forms

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‎:
      The catch is that to get the full benefits of the type checker, the programmers have to add complex annotations to their code.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.