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
- Self type is not expanded correctly when accessed on a type variable with union bound
- Consider an `__eq__` that always raises as non-overlapping for equality purposes?
- Forward-referencing type application with type variable in a value expression in stubs emits confusing error
- Configuration file entries for stubgen
- Wrong inference for `abs/__abs__` or function that calls a method on a generic type.
- Mypy fails to solve `tuple[int, *Ts, int]` as an `Iterable[T]`.
- `mypy` fails to correctly understand some iterable type in `*args`
- Type-narrowing based on instance type
- stubtest crashes on class decorator in overloaded function
- `dataclasses.replace` should be able to return differently-parametrized generic dataclasses
- Docs
- Python not yet supported