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 supported94 Subscribers
Add a CodeTriage badge to mypy
Help out
- Issues
- no error on `TypeVar` with explicitly declared variance when the generic is used in another type with a different variance
- no error when `TypeVar` with explicit variance is used in the wrong position when it's part of a union
- Issues with popular third-party packages (meta)
- itertools.chain returns object when using iterators of different types
- mypy tries to infer the type parameters of a generic class even if they are explicitly given
- Declaration-order-dependent possibly-undefined false positive with nested ifs/matches, decorated any functions and NoReturn
- Disable comparison overlap checks in assert statements
- Opt-in error for `if x:` when `x: None | int` or `None | str` etc.
- Sketch implementation of "optional-non-truthy" check for `if x` with `x: None | str`
- Implement support for "mypy: ignore" comments
- Docs
- Python not yet supported