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
- Join of two type concrete type objects may be considered abstract
- Quoted type name not actually valid as base class
- Stub generation and module re-exports, #noqa
- Don't silently ignore some partial types
- Use alias names in error messages
- Unions with invalid arguments are still allowed
- Detect if required string literal escapes are missing from a type
- Adding variable annotation causes incompatible type when Optional and TypeVars are used
- Underspecified type variables should not infer UninhabitedType
- Generate a warning/error on assigning values of type NoReturn
- Docs
- Python not yet supported