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 supported92 Subscribers
Add a CodeTriage badge to mypy
Help out
- Issues
- `TypeVar` not narrowed when using `isinstance` or `issubclass` on `final` classes
- warn redundant casts doesn't work with `Protocol.__call__`
- (🎁) Mypy too conservative with base class compatibility (Definition of in base class is incompatible)
- Type annotations in class instance attributes on variable definition by execution order vs lexical order
- (🐞) `always-true`/`always-false` doesn't activate until it's truth is checked
- generic with union value inferred as common base
- (🎁) multiple platform/version compatible mode
- `isinstance(x, CallableType) and x.is_type_object()` is a code smell
- (🐞) No error with `disallow-any-generics` and `type`
- TypeVar bound to Callable confuses Mypy
- Docs
- Python not yet supported