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 supported98 Subscribers
Add a CodeTriage badge to mypy
Help out
- Issues
- User defined type-level operators works, are they legal?
- False negative when declaring a class with a literal string base, which could refer to a forward-reference type alias
- incompatible type "Callable[[], str]"; expected "Callable[[], <nothing>]"
- Describe how to annotate a function with return type depending on a flag
- provide more verbosity for mismatched type types
- Errors from class decorators returning descriptors
- `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
- Docs
- Python not yet supported