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
- `typing.NamedTuple` collides based on field order and type, doesn't consider class name or field names
- New semantic analyzer: incompatible definition involving decorator not detected
- Problem with setting one TypedDict variable to another TypedDict variable
- Plugin api named_type() is ambiguous and inconsistent and broken
- `Literal`s overlap when defaults given
- New semantic analyzer: better error messages for cyclic cross-module definitions
- Daemon issues with retargeting re-exported names
- Add support for 'post type-checking' hooks
- `reveal_type` should print out nice formatted types
- Unsoundness from unbound type variables in attributes
- Docs
- Python not yet supported