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
View all SubscribersAdd a CodeTriage badge to mypy
Help out
- Issues
- Rust style force handling of return value
- Implicit TypeVar expansion of a Generic via another generic method
- Daemon can lose updates if there is a blocking error in intermediate run
- False error in conditional expression returning union
- Type variables set to `<nothing>` do not unify with more specific variables when used in a more specific context
- Stubgen generates invalid stubs for code with import chain
- Optional types not being narrowed after a logical-and followed by a test of one of the operands
- MyPy incorrectly tracks attribute type in chained ifs with assignment
- Submodule not added to parent on incremental run
- Wrong typing warning for map. (Argument X to "map" has incompatible type overloaded function)
- Docs
- Python not yet supported