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 supported92 Subscribers
Add a CodeTriage badge to mypy
Help out
- Issues
- Various improvements to semantic pre-analysis (pass 1).
- Does not report syntax error for global/nonlocal declaration after the name is used.
- mypy incorrectly reports incompatible return types for overloaded methods
- (🐞) Locally narrowed value used in a lambda parameter from an overloaded higher order function is analyzed twice with different types
- Type of generic property subclass reveals <nothing>
- (🐞) Don't report when inferring expression types in an empty context
- Too broad type inferred for literal list of heterogeneous tuples
- `dmypy recheck --update [file]` failed to detect very recent changes in [file]
- EXPERIMENT remove line/column param to make_simplified_union
- Cannot resolve common type of logging.Handler subclasses
- Docs
- Python not yet supported