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 when setting property defined without decorator to incorrect type
- TypedDict -> dict compatibility
- no error when setting `init=False` on `Final` field in dataclass
- no error when using `field` outside of a `dataclass`
- generics used in type aliases incorrectly cause `Expression type contains "Any"` error
- False positive `statement is unreachable` in try-finally related to KeyboardInterrupt
- Type narrowing does not apply to default arguments in definition time
- Incorrect (incomplete) inference for mapping containing types derived from Any
- Faulty type narrowing with value restrictions
- Type narrowing on all() call
- Docs
- Python not yet supported