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.