typechecker

noun1

1. •
   A system or algorithm that verifies values against their required data types, according to the type system of the language.

   • The catch is that to get the full benefits of the type checker, the programmers have to add complex annotations to their code. — 2015