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
- Exhaustiveness checking fails on non-trivial use of pattern matching
- Possibly-undefined: allow assertions on the lengths of sequences
- Make it possible to use `modules` or `packages` configurations with `files`
- Incorrect handling of `import from` namespace package that spans site-packages and the source tree
- "Type variable is invalid as target for type alias" error on new union syntax when not using `TypeAlias` type
- Misleading warning message when using ABCMeta instead of Protocol
- Type narrowing in while loop
- Parameterized protocol structure ignored as argument
- Class factory with `type[TypeVar]` with upper bound not checked correctly (false positive)
- Do not raise `unused-awaitable` when it's already `await`ed
- Docs
- Python not yet supported