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 supported104 Subscribers
Add a CodeTriage badge to mypy
Help out
- Issues
- Fix: Exit if any config error
- Prevent quadratic runtime for overlap check at large overload counts
- Allow Annotated to wrap NotRequired in a TypedDict definition.
- regression with Generic/ParamSpec between 1.4.1 and 1.5.0
- Protocol with nested class
- Using Self with __init_subclass__ uses the base class as Self rather than the class being defined
- [overload][intersection-types] undetected LSP violation in multiple inheritance
- Allow setting a final instance attribute in `__set_name__`?
- Allow nested classes in `NamedTuple` bodies
- TypeVar declared at class scope with generic bound specialized on an in-scope generic parameter TypeVar doesn't give an error
- Docs
- Python not yet supported