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 supported93 Subscribers
Add a CodeTriage badge to mypy
Help out
- Issues
- generics used in type aliases incorrectly cause `Expression type contains "Any"` error
- False positive `statement is unreachable` in try-finally related to KeyboardInterrupt
- Type narrowing does not apply to default arguments in definition time
- Incorrect (incomplete) inference for mapping containing types derived from Any
- Faulty type narrowing with value restrictions
- Type narrowing on all() call
- False positive in case of custom __setattr__ that changes the type of the attribute
- Bug in return type of generic static method when called on generic alias (regression in 0.950)
- Confusing error when subclassing `var.__class__`
- Inconsistency in `reveal_type(some_type)`
- Docs
- Python not yet supported