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
- INTERNAL ERROR on match-case statement
- MyPy doesn't report any errors when using TypeVars within TypeVar constraints
- 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`
- Allow self binding for generic ParamSpec
- Spurious error for dataclass(slots=True)
- Unpacked TypeVarTuple as a function argument is not compatible with empty tuple as its default
- Helpful note when union may not have been narrowed
- Docs
- Python not yet supported