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 supported94 Subscribers
Add a CodeTriage badge to mypy
Help out
- Issues
- Infer correct types with overloads of `Type[Guard | Is]`
- Support typing.Union/typing.Optional in isinstance check (/support old-style unions)
- Metaclass conflict check improvements
- Crash on older versions of Python for a slice in a type subscript
- stubtest treats constructors of native types as `(self, *args, **kwargs)`.
- TypedDict.setdefault gives error when type is a TypeVar
- False negative: Context manager which suppresses errors doesn't trigger `[possibly-undefined]`
- [comparison-overlap] error on `Type[Any]` typed var compared with `Any`
- Warn about un-annotated attributes in dataclass definition
- Split `[type-arg]` into `[type-arg]` and `[type-arg-generic]` also to solve #3737
- Docs
- Python not yet supported