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
- Mysterious type creation
- Extend `redundant-expr` to type narrowing assertions
- Recognize list of constant values as a list of str.
- isinstance on runtime-checkable protocols does not correctly narrow unions inferred by TypeGuard
- `__match_args__` must catch non-existent attributes
- Property return type not inferred when using `field_name = property(func)`
- Type narrowing discards tuple from `Union[Tuple, Sequence]` in conditional
- Seemingly correct type narrowing, but still incompatible type
- mypy should warn about list invariance when method return types are incompatible with a supertype
- False positive (and puzzling message) with union types and callables
- Docs
- Python not yet supported