typechecker

English

Alternative forms

Etymology

From type +‎ checker.

Noun

typechecker (plural typecheckers)

  1. (computer science, 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], archived from the original on 9 May 2026:
      The catch is that to get the full benefits of the type checker, the programmers have to add complex annotations to their code.
This page is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.