Skip to main content

For questions about type checkers or type checking, a process in a compiler or interpreter to ensure that values of the correct types are being used where they are expected.

A type checker would prevent, for example, a string being assigned to a variable that expects an integer, or other type errors. Use this tag for questions about the behavior or implementation of a type checker in a programming language.

Related Tags: