Typically 5x or more faster than mypy and other type checkers that are written in Python. It is meant for large Python source bases. It can run in a “watch” mode and performs fast incremental updates when files are modified.
- Hover tool tips that display type information
- Links to symbol definitions
- Smart priority queuing for interactive feedback during editing