Microsoft unveils speedy type checker for Python

Pyright aims to be a faster type checker for Python than existing projects, and doesn't need Python itself