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
- Add check for comparisons like `None in list/set/tuple`
- Incompatible return value type `type[Enum]` when returning a functional-style Enum
- Type refinement does not work with `None in [a, b, c]`, `any()`, or `all()` checks
- false error with simple nested structure
- `TypeGuard` has no effect when nested in the presence of other problems
- False positive with sequence subclass in match-case statement
- Match exhaustiveness with class inheriting from tuple
- Restrictions on class patterns (match statement) are too strict / (possible cause: too eager to alias types)
- `has no attribute "__aiter__"; maybe "__enter__"? (not async iterable)` when async iterating
- `--extra-checks` is too strict when using `Concatenate` within a `Protocol`
- Docs
- Python not yet supported