Aunque el duck typing es visto como una ventaja por muchas personas programadoras de Python, algunas veces, especialmente en grandes repositorios de código, la verificación de tipado también puede ser útil. Por esa razón, algunas anotaciones de tipos han sido incluidas en las Propuestas de Mejora de Python (Python Enhancement Proposals, PEP) y Pyright es un verificador para dichas anotaciones. Además, proporciona algun nivel de inferencia de tipos y protecciones que son capaces de entender código con estructuras condicionales. Diseñado pensando en grandes repositorios de código, Pyright es rápido y sus verificaciones en modo observador suceden incrementalmente a medida que los archivos cambian para disminuir aún más los ciclos de retroalimentación. Pyright puede usarse directamente en la línea de comandos y también existen integraciones disponibles para VS Code, Emacs, vim, Sublime y posiblemente otros editores. En nuestra experiencia, Pyright es mejor que alternativas como mypy.
