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
- 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)
- Fails to infer Literal when required by return type
- issue templates need updating: gitter no longer running
- Walrus operator overwrites type hint
- Wrong SynchronizedArray type
- Add note for union types with missing attribute
- Incorrectly inferred type for expression
- Docs
- Python not yet supported