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 supported97 Subscribers
Add a CodeTriage badge to mypy
Help out
- Issues
- [pre-commit.ci] pre-commit autoupdate
- false positive no-any-return from a typed function nested in an untyped function
- Assertion error: `isinstance(ret, Instance)`
- improper inference of lambdas and dataclass constructors used as generic decorator arguments
- Regression with narrowing with negative intersection
- Unreachability should detect redundant `isinstance`s even for `object` arguments
- Improve "Name is not defined" errors with fuzzy matching
- mypy doesn't get error with `dict(**{10: 20})` while PVM gets error
- 1.20 and 2.0 Release Planning
- Unclear Coverage Results
- Docs
- Python not yet supported