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 supported84 Subscribers
View all SubscribersAdd a CodeTriage badge to mypy
Help out
- Issues
- Cannot call dict.get with a falsy second argument and an 'or' expression.
- Conditional expression in "with" statement inferred as 'object', lacking __enter__ and __exit__
- Moving an overloaded generic function into a class can sometimes introduce "incompatible return type" errors
- Re-work how fine grained targets are processed
- Use MessageBuilder.pretty_callable in more places
- Support total=False for protocols
- Weird formatting of __new__ signature in error messages
- Clean up kludges for handling metaclasses and Type[...] in check_op_reversible
- Protocols don't support descriptors
- Docstring for enum is not inferred as string.
- Docs
- Python not yet supported