type checker

Type checking is used to check a program before execution. This verifies data type values and syntax. The main purpose of a type system in a programming language is to reduce the likelihood of bugs in a program due to type errors.