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 supported99 Subscribers
View all SubscribersAdd a CodeTriage badge to mypy
Help out
- Issues
- Import errors in a `try/except ImportError` block should be allowed
- Require an annotation if inferred list or dict item type is object
- Warn about unused Awaitables (and potentially other objects)
- Test stub files against real code
- Reject bound covariant type variable in an argument type
- [Feature Request] Provide an API to get the type of the expressions in the AST
- Suggest using Protocol when user tries to use keyword args with Callable
- Class decorators are not type checked
- Integer generics
- Bad circular imports are not rejected
- Docs
- Python not yet supported