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
- [docs] CONTRIBUTING.md: specify bare infinitive instead of imperative
- Mypy doesn't narrow a matched object's type (generic or not) based on attribute subpattern match
- Fails to flag `None` passed to constructor of `enum.Enum`-based classes
- 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
- Docs
- Python not yet supported