Ty - verificador de tipos de Python y servidor de lenguaje rápidos

• ty es un verificador de tipos de Python y servidor de lenguaje extremadamente rápido, escrito en Rust
• Por ahora sigue siendo software en prelanzamiento, por lo que no está listo para usarse en producción
• Se está desarrollando en el repositorio de Ruff, el linter de Python ultrarrápido de Astral, con el objetivo de alcanzar estabilidad y completitud funcional
• Licencia MIT

[zeyakim]

El gran Astral... ¿lo volvieron a hacer?

[youn17]

Oh, ¿es una alternativa a mypy? Parece ser una nueva apuesta de Astral en la que se puede confiar.

[brainer]

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

Lo hizo ese lugar. En fin, está bien.

[xguru]

Ruff - un linter de Python 10-100x más rápido
Astral - la empresa que crea herramientas de desarrollo Python de próxima generación

[GN⁺]

Comentarios en Hacker News

• :wave: Parece que encontraron un repositorio que no era secreto. Estamos preparando un anuncio más grande.

  • Actualmente el software está en estado pre-alpha y la versión es 0.0.0a6.
  • Los lanzamientos hasta ahora han sido para validar el proceso de lanzamiento.
  • Queremos ponérselo a la gente en las manos, pero todavía hace falta mucho trabajo para que esté listo para producción.
  • Esperen más noticias pronto.
  • (Trabajo en Astral)

• Le cedí a Astral el nombre del proyecto "ty" en pypi.

  • Hace años pensaba usarlo como broma, pero este nombre de proyecto de dos letras tiene un mejor uso.
  • Acordaron donar a la PSF como muestra de agradecimiento.

• La forma en que estos type checkers se vuelven más rápidos normalmente no soporta la realidad compleja del código Python real.

  • La razón por la que usamos mypy es que es el único type checker con plugin para Django.
  • Puede hacer type checking correctamente de los métodos generados en runtime de Django.
  • Ojalá más herramientas de Python adoptaran el enfoque de TS de que "lo que existe en la práctica es el lenguaje".

• Comparé los tiempos de revisión en un proyecto grande.

  • mypy (usando caché): 18 segundos
  • ty: 0.5 segundos (encontró 3500 errores)
  • Lo volvieron a hacer.

• Antes de que llegara Astral, las herramientas de Python eran bastante malas comparadas con Java.

  • Astral reemplazó el horrible pip con el fantástico uv.
  • Reemplazó varios linters horribles con el fantástico ruff.
  • Ahora espero que reemplacen los horribles type checkers (como mypy) por algo bueno.
  • Ojalá un backend de pypi también esté en su lista. Quiero un Maven Central para Python.

• Si tienes uv instalado, puedes probarlo sin instalar nada con el siguiente comando.

  • uvx ty check

• Es interesante que Astral haya salido al mismo tiempo que Facebook lanzó "Pyrefly, un type checker de Python más rápido escrito en Rust".

  • No es un comentario ético, pero es interesante ver cómo Rust sigue expandiéndose en el mundo de las herramientas para Python y JS.

• Tengo muchas ganas de ver un nuevo servidor de lenguaje de Python completo que funcione en vscode y en sus forks (por ejemplo, Windsurf, Cursor).

  • Pylance tiene problemas en estas distribuciones derivadas.
  • Está bueno tener una alternativa nueva sin adoptar otra implementación derivada de Pyright (BasedPyright, Cursor Pyright, Windsurf Pyright, ...).

• Me pregunto si esta gente ya descubrió cómo ganar dinero.

• ¿Va a soportar stubs de Django? Ese es el único obstáculo para que nuestra empresa cambie.