Embora duck typing seja certamente visto como um recurso interessante por muitas pessoas que programam em Python, às vezes — especialmente para bases de código maiores — a verificação de tipo também pode ser útil. Por esse motivo, várias anotações de tipo são propostas como Python Enhancement Proposals (PEPs) e Pyright é um verificador de tipos que funciona com essas anotações. Além disso, ele fornece inferências de tipo e algumas proteções que entendem construções de fluxo de código condicional. Projetado para grandes bases de código, o Pyright é rápido e suas verificações de modo de observação acontecem de forma incremental conforme os arquivos são alterados para encurtar ainda mais o ciclo de feedback. O Pyright pode ser usado diretamente na linha de comando, mas integrações para VS Code, Emacs, vim, Sublime e possivelmente outros editores também estão disponíveis. Em nossa experiência, o Pyright é preferível em relação a alternativas como mypy.
