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 supported84 Subscribers
View all SubscribersAdd a CodeTriage badge to mypy
Help out
- Issues
- Add docs that TypeVars should be allowed to be the same
- Don't require type annotations for locals when using --check-untyped-defs
- Bug: `issubclass()` doesn't narrow TypeVar type with Protocol
- Allow method assignment in body of type extending typing.NamedTuple
- `super().__new__` inherited from Tuple doesn't match element type
- Allow/disallow pep561 packages
- type is not recalculated when it was previously a List[Any]
- Set[T] is incompatible with Set[Optional[T]] - Set[None]
- Per-module options patterns starting with *
- Callable type anntoation written apart of assignment causes false positive typecheck result.
- Docs
- Python not yet supported