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
- "Overloaded function implementation does not accept all arguments" error when using TypeVar with restricted types.
- TypeVar bound doesn't understand CRTP
- mypy infer incorrect types in frozen dataclass with descriptors as attributes.
- Reassigning `type` fails to typecheck
- Missing `TypeIs` narrowing for variadic tuples
- Class structural pattern matching always returns `Any` as type
- Spurious redef warning in an odd situation with type(None) plus TypeAlias plus a later # type: ignore
- `partial` plugin does not handle overloads
- Overloads not resolved correctly when argument is `Any` and return types use `TypeGuard` or `TypeIs`
- Dict literal of type `A` cannot be assigned to variable of type `A | B` (incompatible type error)
- Docs
- Python not yet supported