Google adota Pyrefly: 10x mais rápido que mypy e Pyright?

Tech Desk

Google substitui Pytype pelo Pyrefly, ferramenta da Meta que acelera a verificação de tipos em Python com alta eficiência.

Leia também: Nova ferramenta com IA acelera engenharia reversa de binários

Google substituiu o Pytype, seu verificador de tipos para Python usado há anos internamente, pelo Pyrefly, ferramenta open-source criada pela Meta. A mudança, que já entra em produção na infraestrutura da empresa, promete checagens até 10 vezes mais rápidas, menos erros falsos e uma queda superior a 80% nos custos máximos de computação.

Pyrefly vs mypy: qual é mais rápido?

Nos testes internos do Google, o Pyrefly se mostra cerca de 10 vezes mais rápido que o Pytype e reduz a latência de rebuild incremental em até 98%, permitindo que grandes bases de código sejam verificadas praticamente em tempo real. Em caminhos críticos de builds limpos, o tempo de verificação cai entre 90% e 99%, eliminando um gargalo que há anos atrasava ciclos de desenvolvimento.

O desempenho coloca o Pyrefly no grupo da nova geração de verificadores de tipos de alta performance, mas a comparação com mypy segue em aberto na comunidade. Um dos desenvolvedores que comentaram a mudança, identificado como WindHawkeye, defende que o mypy continua muito competitivo: “Mypy é muito mais rápido em grandes projetos do que se pensa. Ainda tem a verificação incremental mais rápida”. Outro especialista, BeamMeUpBiscotti, projeta ganhos adicionais na próxima grande versão: “Mypy 2.0 deve ser até 5x mais rápido em projetos grandes para verificações frias, mas a nova geração de verificadores pode ser até uma ordem de magnitude mais rápida que isso”.

Na prática, o Pyrefly se apoia em uma arquitetura moderna para alcançar esses números. Implementado em Rust, ele consegue checar cerca de 1,8 milhão de linhas de código por segundo em bases extensas, o que viabiliza checagem de tipos a cada digitação em editores e IDEs, sem travar o fluxo de trabalho das equipes.

Pyrefly vs Pyright vs mypy: qual escolher?

Para quem está comparando Pyrefly, Pyright e mypy, a orientação de especialistas é olhar além do throughput bruto. O desenvolvedor Python Amirrea Azadmher chama atenção para a qualidade dos diagnósticos e para a experiência no ciclo de edição: “Se você está avaliando Pyright vs Pyrefly vs mypy agora, não confie nos números de monorepositórios de terceiros. Meça tempos frios e quentes no SEU código e avalie a qualidade dos diagnósticos além do throughput — um verificador rápido que gera muito ruído custa mais que um mais lento que aponta o erro real”.

Na comunidade, há consenso de que o Pyrefly supera o antigo Pytype, mas o debate se acirra quando a comparação envolve outras ferramentas de ponta. O usuário Gushys, por exemplo, vê a solução da Meta como mais consolidada que o ty, outro verificador recente de alto desempenho: “Pyrefly é muito mais maduro. Já está além da versão 1.0, tem desempenho similar ao ty, e é uma ferramenta comprovada. ty ainda não chegou lá”.

Para projetos gigantes, o mypy segue forte justamente pela verificação incremental agressiva e pelo ecossistema consolidado. Já o Pyright, mantido pela Microsoft, costuma ser citado pela integração com editores e pela atenção ao uso em ambiente de desenvolvimento, o que o torna um competidor direto do Pyrefly na experiência dia a dia dos times.

Por que o Google abandonou o Pytype

O Pytype começou a ficar para trás à medida que o sistema de tipagem do Python evoluiu rapidamente, com novas especificações e sintaxes sendo introduzidas em ritmo acelerado. A ferramenta do Google analisava o bytecode compilado, e não a árvore sintática do código-fonte (AST). Essa escolha, que no início facilitava alguns cenários, acabou se tornando um peso: o bytecode muda com frequência entre versões do Python, o que tornava caro e complexo manter a compatibilidade com as PEPs mais recentes de tipagem.

O Pyrefly foi pensado justamente para acompanhar essa evolução. Segundo dados compartilhados pelo Google, a ferramenta passa por volta de 97% dos testes do conjunto de conformidade da tipagem moderna de Python, o que reduz discrepâncias entre o que o código “parece” aceitar e o que o interpretador de fato entende. Além de apontar inconsistências, o verificador fornece diagnósticos mais ricos, com anotações em linha que identificam a causa raiz do problema e, em alguns casos, sugerem correções.

Em termos de infraestrutura, o impacto também é significativo. A migração levou a uma redução de mais de 80% no custo máximo de computação destinado à checagem de tipos em Python dentro do Google, ajudando a aliviar clusters internos e a liberar recursos para outras tarefas de build e testes automáticos.

Entenda o contexto

Ferramentas de verificação de tipos são hoje centrais na engenharia de software em Python, especialmente em grandes empresas e projetos com milhares de módulos. Elas não só capturam erros antes de o código ir para produção, como também melhoram a navegação, a refatoração segura e a colaboração entre times.

A Meta liberou o Pyrefly como open-source, o que acelera o desenvolvimento pela comunidade e facilita a adaptação para novas construções de linguagem. Com a entrada do Google como grande usuária, a tendência é que o ecossistema em torno do verificador ganhe ainda mais tração, com contribuições para casos extremos de performance, suporte a bibliotecas populares e integração com IDEs.

A decisão do Google deve influenciar outras empresas que enfrentam gargalos similares com verificadores legados. Times que hoje dependem de pipelines lentos de análise estática começam a olhar para Pyrefly, mypy, Pyright e ty não apenas na disputa de benchmarks, mas na capacidade de entregar diagnósticos confiáveis, integrados ao fluxo de desenvolvimento e com custo operacional sob controle.

Fonte: matéria original