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
- Type variable defaults, solved for partially-parameterised generic types, do not reset
- Add direct HTML reporter to replace XSLT-based output (ideia to fix issue #909)
- [1.16 regression] Incompatible types error when using `Enum`s of a `NamedTuple`
- Unreachability should work for constrained type vars
- Argument "key" to "sorted" has incompatible type "Callable…"
- Use types.CoroutineType instead of typing.Coroutine
- valid-type not reported for variables imported in other modules
- False positive when accessing a TypedDict in a list comprehension
- Regression: Unclear error message when using `Any`
- MyPy fails on Python 3.14 PEP 750 template string (tstring, t-string), e.g. `t'{42}'`
- Docs
- Python not yet supported