typechecker

Meaning

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

Similar words

type checker typechecking static typing dynamic typing type system type safety statically-typed language type hinting strong typing type