Ty – schneller Python-Typprüfer und Language Server

 (github.com/astral-sh)
13 Punkte von GN⁺ 2025-05-08 | 5 Kommentare | Auf WhatsApp teilen
  • ty ist ein sehr schneller Python-Typprüfer und Language Server, der in Rust geschrieben ist
  • Noch Pre-Release-Software und noch nicht bereit für den Einsatz in Produktion
  • Die Entwicklung findet im Repository von Ruff, Astrals ultraschnellem Python-Linter, statt und zielt auf Stabilität und vollständige Funktionalität ab
  • MIT-Lizenz

Verwandte Beiträge

5 Kommentare

 
zeyakim 2025-05-09

Der große astral.. habt ihr es schon wieder geschafft?
 
youn17 2025-05-08

Oho, ist das eine Alternative zu mypy? Sieht nach einem neuen Werk von Astral aus, auf das man sich verlassen kann.
 
brainer 2025-05-08

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

Scheint von denselben Leuten zu sein. Wie auch immer, gefällt mir.
 
GN⁺ 2025-05-08
Hacker-News-Kommentare

  • :wave: Ich glaube, ich habe ein nicht geheimes Repository gefunden. Wir bereiten eine größere Ankündigung vor.

    • Die Software befindet sich derzeit im Pre-Alpha-Stadium, die Version ist 0.0.0a6.
    • Die bisherigen Releases dienten dazu, den Release-Prozess zu validieren.
    • Wir würden es den Leuten gern zur Verfügung stellen, aber bis es produktionsreif ist, ist noch viel Arbeit nötig.
    • Hoffentlich gibt es bald mehr Neuigkeiten.
    • (Ich arbeite bei Astral)

  • Ich habe den Projektnamen „ty“ auf PyPI an Astral übertragen.

    • Ich wollte ihn vor ein paar Jahren als Witz verwenden, aber für einen Projektnamen mit zwei Buchstaben ist das eine bessere Verwendung.
    • Sie haben zugestimmt, als Dankeschön an die PSF zu spenden.

  • Diese Type Checker werden normalerweise dadurch schneller, dass sie die komplexe Realität echter Python-Codebasen nicht unterstützen.

    • Wir verwenden mypy, weil es der einzige Type Checker mit einem Plugin für Django ist.
    • Damit lassen sich die zur Laufzeit generierten Methoden von Django korrekt typprüfen.
    • Ich wünschte, mehr Python-Tools würden den TS-Ansatz verfolgen: „Was draußen in der Wildnis existiert, ist die Sprache.“

  • Ich habe die Prüfzeiten in einem großen Projekt verglichen.

    • mypy (mit Cache): 18 Sekunden
    • ty: 0,5 Sekunden (3500 Fehler gefunden)
    • Sie haben es wieder geschafft.

  • Bevor Astral auftauchte, waren die Python-Tools im Vergleich zu Java wirklich miserabel.

    • Astral hat das schreckliche pip durch das fantastische uv ersetzt.
    • Die verschiedenen schrecklichen Linter wurden durch das fantastische ruff ersetzt.
    • Jetzt hoffe ich, dass auch die schrecklichen Type Checker (z. B. mypy) durch etwas Gutes ersetzt werden.
    • Hoffentlich steht auch ein PyPI-Backend auf ihrer Liste. Ich will ein Maven Central für Python.

  • Wenn uv installiert ist, kann man es ohne Installation mit folgendem Befehl testen.

    • uvx ty check

  • Es ist interessant, dass Astral praktisch zeitgleich mit Facebooks Veröffentlichung von „Pyrefly, einem schnelleren Python-Type-Checker in Rust“ auftaucht.

    • Keine ethische Aussage, aber es ist interessant, wie Rust weiterhin in die Welt der Python- und JS-Tools vordringt.

  • Ich freue mich sehr auf einen neuen voll ausgestatteten Python Language Server, der in VS Code und VS-Code-Forks (z. B. Windsurf, Cursor) funktioniert.

    • Pylance hat Probleme in diesen geforkten Distributionen.
    • Es ist gut, dass es eine neue Alternative gibt, statt noch eine weitere geforkte Pyright-Implementierung (BasedPyright, Cursor Pyright, Windsurf Pyright, ...) zu übernehmen.

  • Ich frage mich, ob diese Leute herausgefunden haben, wie man damit Geld verdient.

  • Wird Django-Stubs unterstützt werden? Das ist in unserem Unternehmen das einzige Hindernis für einen Umstieg.