Type Checking

← Back to Static Analysis and Linting

TypeScript (JS), mypy (Python), Flow (JS). Adding static type information to dynamically typed languages. Type checkers catch type errors at build time, improve IDE support, and serve as documentation for function signatures.

Key Properties

• Gradual Typing
• Type Inference
• Build-Time Error Detection

---

code-quality type-checking