News22 Julhoty agora entende Pydantic nativamente
Edição #161·22 de julho de 2026·2 min

🐍ty agora entende Pydantic nativamente

Charlie Marsh, criador do Ruff e do uv (ferramentas que estão dominando o ecossistema Python), anunciou que o ty, o verificador de tipos da Astral, agora tem suporte nativo ao Pydantic. Para quem não é da área: Pydantic é uma das bibliotecas mais populares de Python, usada para validar dados automaticamente. --- O avanço é que o ty agora distingue entre modo "lax" (flexível) e "strict" (rígido) do Pydantic e segue as regras de coerção da biblioteca. Parece detalhe técnico, mas na prática significa menos erros silenciosos no código. Para quem desenvolve APIs ou sistemas que processam dados, isso economiza horas de depuração.

ty agora entende Pydantic nativamente

O verificador de tipos ty, desenvolvido pela Astral, passou a interpretar Pydantic nativamente. Anunciado por Charlie Marsh — criador do Ruff e do uv —, o recurso elimina a distância entre a análise estática de código e o comportamento real da principal biblioteca de validação de dados do Python.

Contexto técnico da mudança

Pydantic é central na validação de dados, serialização e definição de contratos em aplicações Python. Serve de fundação para frameworks como FastAPI e é adotado em larga escala em arquiteturas de microsserviços, ETLs e APIs REST. Até este lançamento, verificadores de tipos genéricos como mypy e Pyright frequentemente marcavam como inválidas construções que o Pydantic executa sem problemas, especialmente nos casos de coerção automática.

O ty agora implementa suporte nativo que distingue:

  • Modo lax: aceita conversões flexíveis, como a transformação de uma string numérica em inteiro
  • Modo strict: exige correspondência rigorosa entre o tipo anotado e o valor fornecido
  • Regras de coerção do Pydantic v2: alinha a checagem estática ao uso de BaseModel, Field, TypeAdapter e validators customizados

Impacto no desenvolvimento de APIs e sistemas de dados

Para desenvolvedores brasileiros que atuam em fintechs, healthtechs e marketplaces, Python é a linguagem base de inúmeras stacks de backend. Nessas empresas, Pydantic funciona como a camada de fronteira entre dados externos — formulários, webhooks, planilhas, payloads JSON — e a lógica interna da aplicação. Quando o type checker não compreende as regras dessa camada, o resultado é uma de duas situações ruins: perda de tempo com falsos positivos, ou confiança mal colocada em tipos que passam na análise estática, mas falham em produção.

A atualização do ty reduz esses riscos. Ao seguir as regras de coerção da biblioteca, o verificador sinaliza apenas problemas reais, diminuindo erros silenciosos e economizando horas de depuração em cenários de alta variabilidade de entrada.

Consolidação do toolchain da Astral

A novidade reforça a estratégia da Astral de oferecer um conjunto integrado de ferramentas Python de alta performance escritas em Rust. Para times que já migraram para Ruff no linting e uv no gerenciamento de pacotes, adotar ty como verificador de tipos compatível com Pydantic significa menos arquivos de configuração, menos atrito entre ferramentas e um ciclo de feedback mais ágil no ambiente de desenvolvimento local e em pipelines de CI/CD.

Em codebases novos ou em processo de modernização, essa compatibilidade posiciona o ty como alternativa direta ao mypy em projetos que fazem uso intensivo de Pydantic e FastAPI.

pydantictiposentredadospythonverificadorastralestáticacoerçãoregras

Mais da mesma edição

@NVIDIAAI

🥇IA da NVIDIA tira nota de ouro na Olimpíada de Matemática

A NVIDIA colocou seu modelo Nemotron 3 Ultra para resolver as mesmas provas da Olimpíada Internacional de Matemática (IMO) de 2026, nas mesmas condições dos estudantes: mesmo tempo limite, sem internet e sem ferramentas externas. O resultado? 30 de 42 pontos, acima dos 29 pontos necessários para a medalha de ouro. --- Para quem não acompanha, a IMO é considerada a competição de matemática mais difícil do mundo para jovens. Ter uma IA cruzando a linha do ouro é um marco simbólico importante, ainda que a comparação direta com humanos tenha suas ressalvas. As soluções foram corrigidas pela própria equipe oficial da olimpíada. --- É o tipo de resultado que mostra o avanço real em raciocínio matemático, uma das áreas onde modelos de IA mais apanhavam até pouco tempo atrás.

@GergelyOrosz

📈Codex e ChatGPT Work batem 10 milhões de usuários pagos por dia

Thomas Sottiaux, da OpenAI, anunciou que o Codex e o ChatGPT Work atingiram 10 milhões de usuários ativos diários pagos. Número redondo e impressionante, que levantou uma pergunta legítima: de onde vem tanta gente? --- O jornalista de tecnologia Gergely Orosz fez as contas e notou que existem cerca de 26 a 30 milhões de engenheiros de software no mundo inteiro. Se 10 milhões usam o Codex todo dia, isso significaria algo entre 30% e 35% de todos os devs do planeta. A conclusão mais provável, segundo ele, é que o público do Codex já vai muito além de programadores: gente de finanças, marketing, operações e qualquer área que precise automatizar tarefas está entrando nessa onda.

@OfficialLoganK

Google lança Gemini 3.5 Flash-Lite, seu modelo mais leve

O Google apresentou o Gemini 3.5 Flash-Lite, descrito como o menor e mais rápido modelo da família Gemini. Segundo Logan Kilpatrick, da equipe do Gemini, ele é mais inteligente que o Gemini 3 em vários cenários e custa o mesmo que o Gemini 2.5 Flash, que está chegando ao fim de vida. --- A ideia é clara: oferecer um modelo que custa pouco, responde rápido e ainda assim entrega qualidade competitiva. Para empresas que rodam milhões de chamadas por dia em chatbots, resumos ou classificação de texto, cada centavo a menos por requisição faz diferença enorme no final do mês. --- É o tipo de lançamento que não faz manchete de jornal mas pode mudar a conta de muita startup que depende de IA no dia a dia.

Receba no seu email

Todo dia, grátis pra sempre.

Assinar newsletter