python/mypy
Mypy
mypy is a static type checker for Python that analyzes source code to detect type errors and inconsistencies without executing the program. It functions as a static analysis tool and type inference engine, providing a gradual typing system that allows type hints to be added to a codebase incrementally while maintaining compatibility with dynamic typing.
The project distinguishes itself through a combination of performance and precision features. It utilizes a daemon-based incremental checking system and multi-process parallel analysis to manage large codebases, supported by binary cache persistence to accelerate subsequent builds. It also includes the ability to transform Python modules into C extensions using type hints to increase execution performance.
The analyzer covers broad capability areas including flow-sensitive type narrowing, match statement exhaustiveness verification, and the validation of variadic generics and typed dictionaries. It manages external dependencies through type stub validation and the analysis of untyped modules. The toolset also includes automated integration for continuous integration pipelines and recursive configuration file discovery.
