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 supported99 Subscribers
Add a CodeTriage badge to mypy
Help out
- Issues
- Check element type comparability for tuple ordering comparisons
- error: "key" to "max" has incompatible type
- Fix isinstance narrowing for classes with __getattr__ returning Any
- Fix isinstance on namedtuple type aliases
- Type-narrowing of a list item for an inline list multiplied with a type-guard on said item
- `isinstance` doesn't work with `TypeAlias` for classes inherited from `NamedTuple`
- Incremental mode does extra work with --follow-imports=skip
- Mypy suggests `types-Pygments` but `--install-types` doesn't install it
- TypeForm does not overlap with classes that represent special forms at runtime.
- Generic `NamedTuple` does appear attribute-less in `match` statements, and member type information is erased
- Docs
- Python not yet supported