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
- Updates error examples in Common Issues page for Issue #2393
- unexpected attr-defined error in imports in dead code
- type inference failure on custom iterable class unpacking
- Inconsistent behaviour with / without a dummy type variable
- Make `ignore_pos_arg_names=False` for overrides when using `--extra-checks`
- Incorrectly narrows `type` from signature annotation to `Never`
- Check functions with constrained type variable parameters for unreachability.
- Using a type alias with arguments in `case` block in a `match` statement gets the wrong error message with `parameters` instead of `arguments`
- `_v` can be read and written from the outside of the class so the generic class should be invariant properly.
- Return type of property setters is not checked
- Docs
- Python not yet supported