Pyrefly und ty: Zwei neue Rust-basierte Python-Typenprüfer erscheinen

Auf der PyCon 2025 feierten Pyrefly von Meta und ty von Astral, zwei neue Rust-basierte Python-Typenprüfer, ihre Premiere. Pyrefly zielt darauf ab, schneller, portabler und leistungsfähiger als sein Vorgänger zu sein und sich aktiv in die Open-Source-Community einzubringen. ty betont eine "graduelle Garantie", was bedeutet, dass das Entfernen von Typannotationen keine Typfehler verursachen sollte. Beide verwenden Ruff für die AST-Analyse und bieten Kommandozeilen- und IDE-Integration. Benchmarks zeigten, dass ty im Allgemeinen schneller ist, aber sie unterscheiden sich in der Typerkennung und Fehlerbehandlung. Pyrefly ist aggressiver, wodurch möglicherweise mehr Fehler erkannt werden, aber auch mehr Fehlalarme auftreten können; ty ist konservativer und priorisiert die Code-Kompatibilität. Beide befinden sich in einer frühen Alpha-Phase, und ihre zukünftige Entwicklung ist spannend zu beobachten.