Static type checker for Python
Speed
Pyright is a fast type checker meant for large Python source bases. It can run in a “watch” mode and performs fast incremental updates when files are modified.
Configurability
Pyright supports configuration files that provide granular control over settings. Different “execution environments” can be associated with subdirectories within a source base. Each environment can specify different module search paths, python language versions, and platform targets.
Type Checking Features
PEP 484 type hints including generics
PEP 526 syntax for variable annotations
PEP 544 structural subtyping
PEP 589 typed dictionaries
PEP 591 final qualifier
PEP 593 flexible variable annotations
PEP 604 complementary syntax for unions
PEP 612 parameter specification variables