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 supported88 Subscribers
View all SubscribersAdd a CodeTriage badge to mypy
Help out
- Issues
- Use of ```not``` keyword does not always narrow out type ```None```
- Improved error message from: [directory] is not a valid Python package name
- When given directory mypy only analyzes files with PY_EXTENSIONS
- Mypy/dmypy takes over 16GB of memory
- Incorrectly narrowed Literal in while loops
- Combining two type checks with `and` deduces `Any` if the first is `Any`
- Support type narrowing based on `in` (`__contains__()`)
- Incorrect widening of `T | None` with unions to `builtins.object` in generic functions
- Keep `TypeVar` arguments when narrowing generic subclasses with `isinstance` and `issubclass`.
- Mypy does not honor implicitly abstract class in stubs; false positive about ABCMeta
- Docs
- Python not yet supported