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
- Support exhaustiveness checking of single enumerable properties
- Mypy should report errors when bpo-33346 would occur
- dmypy does not work right with disable_error_code/enable_error_code
- Specialized methods on generic classes
- Support type-narrowing on non-zero length sequences
- No first-class bound method support
- Type inference into function
- Function that does type checks on generic classes' attribute not recognized
- Mypy should warn when comparing lists that hold a union of incomparable types
- Support conditionally importing from typing_extensions
- Docs
- Python not yet supported