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 supported98 Subscribers
Add a CodeTriage badge to mypy
Help out
- Issues
- dataclasses.dataclass, custom __init__ and dataclasses.replace false positive.
- Function with generic class and generic value arguments are not inferred when generic is a TypedDict
- Non-hashable tuple should not be accepted as `Hashable`
- An instance of a final class should be treated as satisfying a TypeVar bound to it, after being narrowed
- Type-narrowing in a union sometimes fails
- Type narrowing fails on type(None) or NoneType
- Overlapping modules overloads in `pyproject.toml` result in undefined behavior
- stubgen generates bad signatures when mixing historical positional-only names and keyword-only parameters
- Assignment to field of typed dict doesn't change its (field) type
- overload, Protocol and generic self: annotations
- Docs
- Python not yet supported