Repolode
Enviar
meta

meta/pyrefly

Verificador de tipos e servidor de linguagem para Python, rápido e escrito em Rust, com recursos de IDE como navegação, autocompletar e realce semântico.

Alternativa open source a:MypyPyright

Ver no GitHubSite
Estrelas
7,186
Forks
590
Issues abertas
589
Último commit
há 2 horas

O que é?

Pyrefly é um verificador de tipos e servidor de linguagem para Python. Ele funciona como uma ferramenta de linha de comando que verifica erros de tipos no código e como uma extensão para editores como VS Code, Neovim e Zed, oferecendo navegação pelo código, autocompletar, informações ao passar o cursor, dicas de tipos inline e realce semântico.

O projeto prioriza a velocidade em bases de código grandes. O README relata que ele verifica o PyTorch muito mais rápido que o Mypy e o Pyright, e que as novas verificações na IDE são concluídas em menos de 10 milissegundos após salvar um arquivo. Ele oferece suporte integrado a Pydantic, Django e pytest.

Para projetos existentes, o Pyrefly oferece comandos para migrar do Mypy ou do Pyright (`pyrefly init`), suprimir erros atuais (`pyrefly suppress`) e gerar anotações de tipos (`pyrefly infer`), permitindo que as equipes adotem a ferramenta arquivo por arquivo.

Recursos principais

  • 01Verifica tipos em código Python pela linha de comando, com alta velocidade em projetos grandes.
  • 02O servidor de linguagem oferece navegação pelo código, autocompletar, informações ao passar o cursor e dicas de tipos inline.
  • 03Suporte integrado a Pydantic, Django e pytest.
  • 04Comandos de migração para projetos que usam Mypy ou Pyright.
  • 05Permite suprimir erros existentes e inferir anotações de tipos para uma adoção gradual.

Casos de uso

  • Adicionar verificação estática de tipos a uma base de código Python grande no CI.
  • Usar autocompletar e navegação com suporte a tipos no VS Code, Neovim ou Zed.
  • Migrar um projeto do Mypy ou do Pyright com o mínimo de interrupções.
  • Verificar tipos em projetos Django ou pytest com suporte específico para esses frameworks.

Início rápido

  1. 1

    Instale a ferramenta de linha de comando com pip

    pip install pyrefly
  2. 2

    Instale a extensão do IDE pela página de instalação do IDE

Antes de usar

  • A política de versões permite que qualquer lançamento, incluindo versões de patch, introduza novos erros de tipo e alterações incompatíveis.

Tópicos

#python#type-checker#type-annotations#language-server#lsp#static-analysis#rust#code-quality#ide#language-server-protocol

Perguntas frequentes

O que é pyrefly?
Verificador de tipos e servidor de linguagem para Python, rápido e escrito em Rust, com recursos de IDE como navegação, autocompletar e realce semântico. Pyrefly é um verificador de tipos e servidor de linguagem para Python. Ele funciona como uma ferramenta de linha de comando que verifica erros de tipos no código e como uma extensão para editores como VS Code, Neovim e Zed, oferecendo navegação pelo código, autocompletar, informações ao passar o cursor, dicas de tipos inline e realce semântico.
pyrefly é gratuito? Qual é a licença?
pyrefly é open source sob a licença MIT. Confira os termos da licença antes de usá-lo em produtos comerciais.
pyrefly ainda é mantido?
Manutenção ativa. O último commit de pyrefly foi em 6 de nov. de 2026.
Para que posso usar pyrefly?
Adicionar verificação estática de tipos a uma base de código Python grande no CI. Usar autocompletar e navegação com suporte a tipos no VS Code, Neovim ou Zed. Migrar um projeto do Mypy ou do Pyright com o mínimo de interrupções. Verificar tipos em projetos Django ou pytest com suporte específico para esses frameworks.
Como instalar pyrefly?
Instale a ferramenta de linha de comando com pip: pip install pyrefly Instale a extensão do IDE pela página de instalação do IDE
Onde consigo pyrefly?
O código-fonte e as instruções de instalação estão no GitHub: https://github.com/meta/pyrefly

Resumo gerado por IA a partir do README do projeto. As estatísticas do GitHub são atualizadas diariamente.

Projetos relacionados