mypy
https://github.com/python/mypy
Python
Optional static typing for Python
Triage Issues!
When you volunteer to triage issues, you'll receive an email each day with a link to an open issue that needs help in this project. You'll also receive instructions on how to triage issues.
Triage Docs!
Receive a documented method or class from your favorite GitHub repos in your inbox every day. If you're really pro, receive undocumented methods or classes and supercharge your commit history.
Python not yet supported104 Subscribers
Add a CodeTriage badge to mypy
Help out
- Issues
- Support infer_variance= parameter for TypeVar (PEP 695)
- Type application is only supported for generic classes
- Add special handling for typing.get_args
- Mypy should allow for Self in parametrized parent class definition — issues with contextlib.AbstractContextManager
- Enable checking for f strings
- Fix stub generation false reporting
- Add a new output format option to print errors as GitHub Actions Workflow commands
- Overloads not resolved correctly when argument is `Any` and return types use `TypeGuard` or `TypeIs`
- Dict literal of type `A` cannot be assigned to variable of type `A | B` (incompatible type error)
- 1.11 regression: "generic" mapping failing with confusing error message
- Docs
- Python not yet supported