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
- Ordered dataclass that inherits from abstract set produces (incorrect) errors
- Allow partial overlap when checking overload alternatives
- False positive: unreachable
- Callable with Iterator[T] return type and default function with compatible return type, errors
- type: ignore for “incompatible with supertype” error in subclass should suffice for subsubclasses too
- `@overload` breaks with named tuple and some overloaded functions
- warn-unreachable behaves differently on else-return than on bare return
- allow_redefinition ignored for functions
- Default value of keyword parameter in custom Protocol is not used
- Overloading a function with a parameter that can be either SomeType[Any] or Any always results in the return type Any
- Docs
- Python not yet supported