Type Checker

Definitions

1. A tool or compiler phase that verifies type correctness of a program, ensuring that operations are applied to compatible types. Can be static (compile-time, like TypeScript's tsc) or gradual (like mypy for Python).

   In plain English: A tool that reads your code and checks that you're not accidentally mixing up types — like trying to add a number to a word.

   Example: "The type checker caught a string-to-number bug that would have crashed in production."

Related Terms

• Algebraic Data Type
• Build System
• Class
• Derived Type
• Discriminant
• SAST Tool
• Code Inspector
• Code Scanner
• CodeQL