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 supported98 Subscribers
Add a CodeTriage badge to mypy
Help out
- Issues
- AssertionError: Must not defer during final iteration
- Fix stub generation false reporting
- Covariance is not inferred for NamedTuple and frozen Dataclasses
- 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
- False positive: No overload variant of "asdict" matches argument type "Type[DataclassInstance]" [call-overload]
- False positive - Type narrowing of class attributes
- (🐞) crash with `--pretty` from attrs raising an error in the wrong file
- Docs
- Python not yet supported