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 supported93 Subscribers
View all SubscribersAdd a CodeTriage badge to mypy
Help out
- Issues
- [test]
- Incorrect diagnostic on missing submodule
- Inconsistent behavior: MyPy rejects isinstance with Any, but accepts cast from Any for ignored imports
- If Callable type is incompatible with a callable protocol, show signature of __call__
- Suggest is not None Checks for Optional Attributes in Type Annotations
- False negative: potentially unbound instance attribute doesn't trigger `possibly-undefined` error
- dmypy in a metadata reload loop with `--use-fine-grained-cache`
- TEST: Show that value restricted generic functions handle ambiguous types
- mypyc runtime tests against debug build don't actually use debug build
- Replace uses of type variable "value restriction" with "constraints"
- Docs
- Python not yet supported