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
- `any` breaks the type checking of its argument
- Type lookup table for generics.
- Incorrect type inferencing when parameterizing with Self-like type variable involving `__ge__`
- type checking of member assigned with lambda
- Inconsistent MRO error when `__new__` returns a subclass and `--warn-unreachable` is turned on
- Incompatible types in assignment (expression has type "bool", variable has type "Literal[False]") with nested code
- Return type of unbound methods of generic types incorrectly inferred.
- Enum instance type ignored in match/case statements
- Unreachable error with TypeVar
- Inconsistent errors reported for protocol matching
- Docs
- Python not yet supported