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 supported92 Subscribers
Add a CodeTriage badge to mypy
Help out
- Issues
- no error on unused expression with type `Any` when `disallow-any-expr` is enabled
- `reveal_locals` is hella inconsistent / top level variables not listed / narrowed type inconsistent with `reveal_type`
- (🐞) `reveal_type` on a lambda parameter from an overloaded higher order function shows two results
- type(var) is type(other) not considered enough
- Type narrowing for Optional[T] fails inside an else branch inside a while cycle
- Expose modules attribute in CheckerPluginInterface
- (🐞) Wrong error message on overloaded function with unexpected keyword parameter
- sys.version_info reachability-check fails when patchlevel is specified in the version-condition
- Implicit type aliases not recognised with PEP 604 + import cycles
- crash with sqlalchemy2 stubs
- Docs
- Python not yet supported