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
- Tuple of iterables are not narrowed after converting it to tuple of tuple
- Add check for comparisons like `None in list/set/tuple`
- Mypy/dmypy takes over 16GB of memory
- Keep `TypeVar` arguments when narrowing generic subclasses with `isinstance` and `issubclass`.
- TypeGuard does not narrow when assignment expression
- Feature request: option that completely disallows typing.cast
- Support narrowing literals and enums using the in operator in combination with list, set, and tuple expressions.
- ClassVar[TypeAlias] in dataclass-like classes becomes Any
- Unclear error message: incompatible type "type[str]"; expected "Callable[[_T], _T]"
- Change end line and column for untyped function defs to line of function definition
- Docs
- Python not yet supported