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 supported104 Subscribers
Add a CodeTriage badge to mypy
Help out
- Issues
- Optimize is_unsafe_overlapping_overload_signatures for overlapping typevars case
- fix: refactor sem analysis of the await-not-async on generators and list comprehension
- await-not-async missed & false alarms with genexp and list comprehensions
- Added CLI support for Mypy Plugins
- Be stricter about access to generic vars from class
- Disallow calling type on Protocol
- Enable --warn-unreachable in --strict in Mypy 2.0
- Reconsider `--extra-checks`
- list comprehensions: mypy fails to derive the union type for lists but not for tuples
- Disallow literal `0` step in slice expressions
- Docs
- Python not yet supported