Verificador de tipos em tempo de execução, escrito em Python puro, que aplica dicas de tipo PEP a funções, classes e variáveis com overhead mínimo.
microsoft/pyright
Verificador estático de tipos para Python, baseado em padrões e voltado a grandes bases de código, com ferramenta de linha de comando e extensão para Visual Studio Code.
- Estrelas
- 15,731
- Forks
- 1,841
- Issues abertas
- 384
- Último commit
- há 7 horas
O que é?
Pyright é um verificador estático de tipos para Python que analisa o código-fonte sem executá-lo e aponta erros de tipo com base nos padrões de tipagem do Python. Foi projetado para oferecer alto desempenho e funcionar em grandes bases de código Python.
Ele é distribuído como ferramenta de linha de comando e extensão para Visual Studio Code. O projeto também oferece o Pyright Playground, que roda no navegador e permite testar trechos de código, além de publicar um benchmark semanal que o compara a outros verificadores de tipos para Python, junto com um histórico de lançamentos que informa o tempo de execução e o pico de uso de memória por pacote.
Em ambientes nos quais o diretório temporário do sistema operacional não existe ou é somente leitura, como em algumas configurações remotas ou de servidor, é possível definir outra raiz para os diretórios temporários usando a variável de ambiente PYRIGHT_TMPDIR.
Recursos principais
- 01Verificação estática de tipos para código-fonte Python, baseada em padrões.
- 02Ferramenta de linha de comando para executar verificações localmente ou no CI.
- 03Extensão para Visual Studio Code que fornece feedback de tipos no editor.
- 04Playground no navegador para testar trechos de código sem instalar nada.
- 05Variável de ambiente para definir outro diretório temporário em sistemas com restrições.
Casos de uso
- Adicionar verificação de tipos a uma grande base de código Python em pipelines de CI.
- Receber feedback sobre tipos enquanto edita código Python no Visual Studio Code.
- Comparar o desempenho de verificadores de tipos em projetos Python.
Antes de usar
- Não foi possível identificar automaticamente a licença pelos metadados do repositório. Confira o arquivo de licença antes de usar.
Tópicos
Perguntas frequentes
- O que é pyright?
- Verificador estático de tipos para Python, baseado em padrões e voltado a grandes bases de código, com ferramenta de linha de comando e extensão para Visual Studio Code. Pyright é um verificador estático de tipos para Python que analisa o código-fonte sem executá-lo e aponta erros de tipo com base nos padrões de tipagem do Python. Foi projetado para oferecer alto desempenho e funcionar em grandes bases de código Python.
- pyright é gratuito? Qual é a licença?
- pyright é open source sob a licença Other. Confira os termos da licença antes de usá-lo em produtos comerciais.
- pyright ainda é mantido?
- Manutenção ativa. O último commit de pyright foi em 6 de nov. de 2026.
- Para que posso usar pyright?
- Adicionar verificação de tipos a uma grande base de código Python em pipelines de CI. Receber feedback sobre tipos enquanto edita código Python no Visual Studio Code. Comparar o desempenho de verificadores de tipos em projetos Python.
- Onde consigo pyright?
- O código-fonte e as instruções de instalação estão no GitHub: https://github.com/microsoft/pyright
Resumo gerado por IA a partir do README do projeto. As estatísticas do GitHub são atualizadas diariamente.
Projetos relacionados
Verificador de tipos em tempo de execução para Python que valida anotações PEP 484 em funções, objetos arbitrários e variáveis locais.
Ferramentas de linguagem para Vue baseadas no Volar.js, com o servidor de linguagem para editores, o verificador de tipos vue-tsc e pacotes relacionados.
Um plugin do pytest que executa o verificador estático de tipos mypy nos arquivos-fonte durante as execuções de testes.
Ferramenta de análise estática para PHP que encontra bugs no código sem executá-lo.
Analisador estático para Ruby que infere tipos sem anotações e busca reportar apenas bugs conclusivos, como métodos indefinidos e receptores nil.