Ty - verificador de tipos Python rápido e servidor de linguagem

 (github.com/astral-sh)
13 pontos por GN⁺ 2025-05-08 | 5 comentários | Compartilhar no WhatsApp
  • ty é um verificador de tipos para Python e servidor de linguagem extremamente rápido, escrito em Rust
  • Ainda é um software em pré-lançamento e não está pronto para uso em produção
  • Está sendo desenvolvido no repositório do Ruff, o linter Python ultrarrápido da Astral, com foco em estabilidade e completude de recursos
  • Licença MIT

Leituras relacionadas

5 comentários

 
zeyakim 2025-05-09

Ó grande Astral... vocês conseguiram de novo?
 
youn17 2025-05-08

Opa, então é uma alternativa ao mypy? Parece ser um novo lançamento da Astral em que dá para confiar.
 
brainer 2025-05-08

https://pt.news.hada.io/topic?id=13388

É de lá que foi feito. Enfim, é bom.
 
GN⁺ 2025-05-08
Comentários do Hacker News

  • :wave: Acho que encontraram um repositório que não era exatamente secreto. Estamos preparando um anúncio maior.

    • No momento, o software está em estado pré-alfa, e a versão é 0.0.0a6.
    • Os lançamentos até agora serviram para validar o processo de release.
    • Queremos colocá-lo nas mãos das pessoas, mas ainda há muito trabalho a fazer antes de estar pronto para produção.
    • Esperamos poder compartilhar mais novidades em breve.
    • (Eu trabalho na Astral)

  • Transferi o nome do projeto "ty" no pypi para a Astral.

    • Anos atrás eu ia usá-lo como piada, mas é um uso melhor para um nome de projeto de duas letras.
    • Eles concordaram em doar para a PSF como forma de agradecimento.

  • A forma como esses type checkers ficam rápidos geralmente não dá suporte à realidade complexa do código Python real.

    • O motivo de usarmos mypy é que ele é o único type checker com plugin para Django.
    • Ele consegue fazer verificação de tipos corretamente para métodos gerados em tempo de execução pelo Django.
    • Eu gostaria que mais ferramentas de Python adotassem a abordagem do TS de que "o que existe na natureza faz parte da linguagem".

  • Comparei o tempo de verificação em um projeto grande.

    • mypy (usando cache): 18 segundos
    • ty: 0,5 segundo (encontrou 3500 erros)
    • Eles conseguiram de novo.

  • Antes da Astral aparecer, as ferramentas de Python eram muito ruins em comparação com Java.

    • A Astral substituiu o pip horrível pelo fantástico uv.
    • Substituiu vários linters horríveis pelo fantástico ruff.
    • Agora espero que substituam type checkers horríveis (como o mypy) por algo bom.
    • Espero que um backend para pypi também esteja na lista deles. Quero um Maven Central para Python.

  • Se você tiver o uv instalado, pode testar sem instalar com o comando abaixo.

    • uvx ty check

  • É interessante que a Astral tenha aparecido ao mesmo tempo que o lançamento do Facebook, "Pyrefly, um type checker de Python mais rápido escrito em Rust".

    • Não é uma observação ética, mas é interessante ver Rust continuar avançando sobre o mundo das ferramentas para Python e JS.

  • Estou muito animado com um novo servidor de linguagem Python completo e funcional que rode no vscode e em forks do vscode (como Windsurf, Cursor).

    • O Pylance tem problemas nessas distribuições derivadas.
    • É bom ter uma nova alternativa em vez de adotar mais uma implementação derivada do Pyright (BasedPyright, Cursor Pyright, Windsurf Pyright, ...).

  • Estou curioso para saber se essas pessoas descobriram como ganhar dinheiro.

  • Vai dar suporte aos stubs do Django? Esse é o único obstáculo para a nossa empresa migrar.