Python Typing Survey 2026: IA ganha espaço no uso de tipos e o cenário dos type checkers muda

A Python Typing Survey 2026 chegou à terceira edição seguida com 1.794 respostas, coletadas de 5 de agosto a 2 de setembro de 2026. O perfil é experiente: 76,4% usam Python há pelo menos cinco anos. O uso frequente de type hints ficou estável em três anos (88,0% em 2024, 85,9% em 2025 e 85,5% em 2026), mas a escolha de type checkers mudou bastante. Quem usou a mesma lista de checkers nos dois anos mostra 49,9% com dois ou mais em 2026, contra 46,0% em 2025. Velocidade foi o principal motivo de escolha (56,5%). Dos 700 que marcaram Mypy, 297 também marcaram o plugin de editor. Entre 264 usuários de Pyrefly, 220 (83,3%) usam outro checker. Há relatos de times que rodam Pyrefly no CI e Pyright só nos arquivos em que o Pyrefly falha, por desempenho. E 33,3% apontaram inconsistências entre checkers (42,7% entre quem usa vários).

No eixo IA, quem marcou "torna o código gerado por IA mais preciso/confiável" foi de 18,5% para 38,4%. Ferramentas de IA escreveram type hints para 42,5% dos 1.517 respondentes. Entre os que tiveram o checker invocado por uma ferramenta de código com IA (24,4%, ou 370 pessoas), 61,6% também usaram IA para corrigir erros do checker, contra 19,3% dos demais. Aparecem queixas de tipos amplos demais ("object para tudo") e agentes que enchem o código de #type: ignore. Já a principal dificuldade segue sendo a falta de tipos em bibliotecas de terceiros (65,1%), com Django, SQLAlchemy, Pydantic, NumPy, pandas e Polars citados repetidamente. O recurso mais pedido foi uma sintaxe melhor para Callable (45,7%).

Para quem opera um projeto Python com agentes de IA, o dado sugere um ponto de atenção: o checker virou o freio do código gerado, e agentes que suprimem erros com #type: ignore esvaziam esse freio. Vale revisar esses comentários em code review. Para quem mantém bibliotecas, anotações fiéis ao comportamento real de frameworks e pacotes de data science parecem ser o ganho mais visível para os usuários. E com times misturando checkers entre editor e CI, documentar as diferenças intencionais entre eles passa a fazer parte da DX. Isso é leitura editorial, não conclusão da pesquisa, que ela mesma trata a utilidade dos tipos com IA como pergunta em aberto (29,8% responderam "não tenho certeza").