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 supported84 Subscribers
View all SubscribersAdd a CodeTriage badge to mypy
Help out
- Issues
- mypy should fail if the first element of the type has the same name as the variable
- [numpy] mypy does not raise `type-var` when `NDArray` with incompatible dtype is used as a generic.
- Do not forget that a `TypedDict` was wrapped in `Unpack` after a `name-defined` error occurred.
- Use of `Annotated[T, ...]` in a recursive type results in a segmentation fault
- wrongly reported typing error in `min` with `key` lambda function and default value when result is Optional
- Fix error on instance property and init-only variable with the same name in a dataclass
- [mypyc] `... inferred type None; add an annotation` on fully-annotated code
- Error in mypy when using any() or all() to check for None in a iterable
- fix: annotated argument's `var` node type is explicit, not inferred
- visit_lambda_expr list index out of range
- Docs
- Python not yet supported