mypy ☆
« Back to VersTracker
Description:
Experimental optional static type checker for Python
Type: Formula  |  Latest Version: 1.19.1@0  |  Tracked Since: Oct 12, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: python type-checker static-analysis developer-tools linting
Install: brew install mypy
About:
Mypy is a static type checker for Python that aims to combine the benefits of dynamic and static typing. It allows developers to add type annotations to their Python code, which mypy can then check for consistency and correctness without actually running the code. This helps catch common bugs early in the development cycle and improves code maintainability.
Key Features:
  • Gradual typing: Add type annotations to existing Python code incrementally
  • Standard library support: Works with Python's standard typing module
  • Type inference: Automatically deduces types where annotations are missing
  • Plugin system: Extensible architecture for custom type checking behavior
Use Cases:
  • Validating type correctness in large Python codebases before deployment
  • Improving IDE autocompletion and developer experience
  • Enforcing type safety as part of CI/CD pipelines
Alternatives:
  • pyright – Microsoft's type checker, generally faster but less focused on Python ecosystem integration
  • pylint – General linter with some type checking features, but not a dedicated static type checker
Version History
Detected Version Rev Change Commit
Oct 12, 2025 3:20pm 0 VERSION_BUMP 5f6ae9f4
Sep 16, 2025 6:09am 0 VERSION_BUMP a8c7e1ca
Sep 12, 2025 12:46am 0 VERSION_BUMP 8300d8f7
Dec 30, 2024 5:03pm 0 VERSION_BUMP b9e7ae62
Oct 23, 2024 12:53am 0 VERSION_BUMP e1aa778d
« Back to VersTracker  |  Browse Packages  |  About