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 supported94 Subscribers
Add a CodeTriage badge to mypy
Help out
- Issues
- constrained TypeVar and star operator incompatible type
- `--untyped-calls-exclude` does not exclude some packages/libraries
- new generics should be inferred as covariant instead of invariant on frozen dataclasses
- Spurious assignment error in disjunt condition branches
- Set the config file’s location with an environment variable.
- Can't call get on an empty dict
- Inspect class doc output
- Constrained `TypeVar` default causes false positive error if the default is a `TypedDict` type
- Tests: fix race condition in output
- Feature Request: Infer TypeVar Bounds from assert issubclass Statements
- Docs
- Python not yet supported