Ty - vérificateur de types Python rapide et serveur de langage

• ty est un vérificateur de types Python et un serveur de langage très rapide, écrits en Rust
• Il s’agit encore d’un logiciel en préversion, qui n’est pas prêt à être utilisé en production
• Le développement est en cours dans le dépôt de Ruff, le linter Python ultra-rapide d’Astral, avec pour objectif la stabilité et l’exhaustivité fonctionnelle
• Licence MIT

[zeyakim]

Le grand astral… vous l’avez encore fait ?

[youn17]

Oh, serait-ce une alternative à mypy ? On dirait bien la nouvelle création d’Astral, à laquelle on peut faire confiance.

[brainer]

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

C'est là qu'ils l'ont créé, apparemment. Quoi qu'il en soit, c'est bien.

[xguru]

Ruff - un linter Python 10 à 100 fois plus rapide
Astral - l’entreprise qui crée les outils de développement Python de nouvelle génération

[GN⁺]

Commentaires sur Hacker News

• :wave: On dirait que vous avez trouvé un dépôt qui n’est pas secret. Nous préparons une annonce plus importante.

  • Le logiciel est actuellement en pré-alpha, et la version est la 0.0.0a6.
  • Les versions publiées jusqu’à présent servent à valider le processus de publication.
  • Nous aimerions le mettre à disposition, mais il reste encore beaucoup de travail avant qu’il soit prêt pour la production.
  • Attendez-vous à avoir bientôt plus de nouvelles.
  • (Je travaille chez Astral)

• J’ai transféré le nom du projet « ty » à Astral sur PyPI.

  • Je comptais l’utiliser pour une blague il y a quelques années, mais c’est un bien meilleur usage pour un nom de projet en deux lettres.
  • Ils ont accepté de faire un don à la PSF en signe de remerciement.

• En général, la façon dont ces type checkers deviennent rapides ne prend pas en charge la réalité complexe du vrai code Python.

  • Si nous utilisons mypy, c’est parce que c’est le seul type checker avec un plugin pour Django.
  • Il peut correctement vérifier les types des méthodes générées à l’exécution par Django.
  • J’aimerais que davantage d’outils Python adoptent l’approche de TS selon laquelle « ce qui existe dans la nature fait partie du langage ».

• J’ai comparé les temps de vérification sur un gros projet.

  • mypy (avec cache) : 18 secondes
  • ty : 0,5 seconde (3 500 erreurs trouvées)
  • Ils l’ont encore fait.

• Avant l’arrivée d’Astral, les outils de Python étaient vraiment médiocres comparés à ceux de Java.

  • Astral a remplacé le terrible pip par l’excellent uv.
  • Ils ont remplacé une variété de linters médiocres par l’excellent ruff.
  • J’espère maintenant qu’ils remplaceront les horribles type checkers (comme mypy) par quelque chose de bien.
  • J’espère aussi que le backend de PyPI figure sur leur liste. Je veux un Maven Central pour Python.

• Si uv est installé, vous pouvez le tester sans installation avec la commande suivante.

  • uvx ty check

• Il est intéressant qu’Astral arrive en même temps que la sortie par Facebook de « Pyrefly, un type checker Python plus rapide écrit en Rust ».

  • Ce n’est pas une prise de position éthique, mais il est intéressant de voir Rust continuer à grignoter l’écosystème des outils Python et JS.

• Je suis très enthousiaste à l’idée d’un nouveau serveur de langage Python complet qui fonctionne dans vscode et ses forks (par exemple Windsurf, Cursor).

  • Pylance pose des problèmes sur ces distributions dérivées.
  • C’est bien d’avoir une nouvelle alternative sans devoir adopter encore une autre implémentation dérivée de Pyright (BasedPyright, Cursor Pyright, Windsurf Pyright, ...).

• Je me demande s’ils ont trouvé comment gagner de l’argent.

• Y aura-t-il une prise en charge des stubs Django ? C’est le seul obstacle qui empêche notre entreprise de migrer.