1
Devlop Ai
Shares tags: ai
AI Tool
Pyrefly Review
Pyrefly ist ein schneller Typ-Checker und Sprachserver für Python mit leistungsstarken IDE-Funktionen für zuverlässigen, wartbaren Code.
1Von Meta entwickelt, ist Pyrefly in Rust geschrieben, um erhebliche Geschwindigkeitsverbesserungen gegenüber Python-basierten Typ-Checkern zu erzielen.
2Es ist in der Lage, bis zu 1,8 Millionen Codezeilen pro Sekunde zu überprüfen.
3Pyrefly führt die Typüberprüfung des PyTorch-Repositorys in 5,5 Sekunden (Version 44.1) durch, deutlich schneller als MyPy mit 50,6 Sekunden.
4Das Tool erreichte im November 2025 den Beta-Status und führte Funktionen wie automatisches Import-Refactoring und Jupyter Notebook-Unterstützung ein.
Connect
</>Embed "Featured on Stork" Badge▼
<a href="https://www.stork.ai/en/pyrefly" target="_blank" rel="noopener noreferrer"><img src="https://www.stork.ai/api/badge/pyrefly?style=dark" alt="Pyrefly - Featured on Stork.ai" height="36" /></a>
[](https://www.stork.ai/en/pyrefly)
overview
Was ist Pyrefly?
Pyrefly ist ein von Meta entwickeltes statisches Typ-Checker- und Sprachserver-Tool, das Python-Entwicklern ermöglicht, typbezogene Fehler vor der Laufzeit abzufangen. Es bietet leistungsstarke IDE-Funktionen zur Verbesserung der Entwicklererfahrung und der Codequalität. In Rust geschrieben, erzielt Pyrefly erhebliche Geschwindigkeitsverbesserungen gegenüber früheren Python-basierten Typ-Checkern und kann bis zu 1,8 Millionen Codezeilen pro Sekunde analysieren. Es ist für hohe Leistung bei Codebasen jeder Größe konzipiert und wurde bei Meta für Anwendungen wie Instagram und PyTorch praxiserprobt. Pyrefly fungiert sowohl als Kommandozeilen-Tool als auch als integrierter Sprachserver und bietet eine umfassende Integrated Development Environment (IDE)-Erfahrung.
quick facts
Kurze Fakten
| Attribut | Wert |
|---|---|
| Entwickler | Meta |
| Geschäftsmodell | Open Source |
| Preisgestaltung | Kostenlos |
| Plattformen | IDEs (VSCode, Neovim, Zed), Kommandozeile, Jupyter Notebook |
| API Verfügbar | Ja (Language Server Protocol) |
| Integrationen | VSCode, Neovim, Zed, Jupyter Notebook |
| Gründung | Alpha-Veröffentlichung Mai 2025 |
features
Hauptmerkmale von Pyrefly
Pyrefly integriert fortschrittliche statische Analyse mit umfassenden Sprachserver-Funktionen, um eine robuste Entwicklungsumgebung für Python bereitzustellen. Sein Kerndesign in Rust gewährleistet hohe Leistung und Reaktionsfähigkeit, was besonders für große Projekte von Vorteil ist.
- 1Schnelle statische Typüberprüfung für Python-Code, die typbezogene Fehler vor der Laufzeit identifiziert.
- 2Vollständige Implementierung des Language Server Protocols, das umfangreiche IDE-Funktionen bietet.
- 3Code-Navigationsfunktionen, einschließlich Sprung zur Definition.
- 4Semantisches Highlighting für verbesserte Code-Lesbarkeit.
- 5Intelligente Code-Vervollständigungsvorschläge.
- 6Hover-Informationen für schnellen Zugriff auf Typdetails und Dokumentation.
- 7Erweiterte Refactoring-Funktionen, wie z.B. automatisches Import-Refactoring.
- 8Unterstützung für Jupyter Notebook-Diagnosen und Sprachfunktionen.
- 9Gebündelte Stubs von Drittanbietern zur Verbesserung der Typüberprüfung für externe Bibliotheken.
- 10Hohe Leistung bei großen Codebasen, Verarbeitung von bis zu 1,8 Millionen Codezeilen pro Sekunde.
use cases
Wer sollte Pyrefly verwenden?
Pyrefly wurde für Python-Entwickler und -Teams entwickelt, die Codequalität, Wartbarkeit und Entwicklererfahrung priorisieren, insbesondere bei komplexen und großen Projekten.
- 1Python-Entwickler, die typbezogene Fehler frühzeitig in den Entwicklungszyklen erkennen möchten.
- 2Teams, die an großen Produktionscodebasen zusammenarbeiten und eine verbesserte Codequalität und Lesbarkeit durch robuste Typ-Annotationen benötigen.
- 3Benutzer von IDEs und Editoren wie VSCode, Neovim und Zed, die von erweiterten Sprachserver-Funktionen wie Code-Navigation und Autovervollständigung profitieren.
- 4Entwickler, die an AI/ML-Bibliotheken und -Frameworks arbeiten, wie durch die Einführung in PyTorch belegt, um Typkonsistenz zu gewährleisten und sichereres Refactoring zu ermöglichen.
pricing
Pyrefly Preise & Pläne
Pyrefly ist ein Open-Source-Projekt, das von Meta entwickelt wurde und auf GitHub verfügbar ist. Es wird kostenlos zur Verfügung gestellt, wobei seine Kernfunktionalität und sein Quellcode öffentlich zugänglich sind. Es gibt keine expliziten kostenpflichtigen Stufen oder Abonnementpläne, die mit dem aktuellen Angebot von Pyrefly verbunden sind.
competitors
Pyrefly vs. Wettbewerber
Pyrefly ist als Typ-Checker und Sprachserver der nächsten Generation für Python positioniert, der in Rust entwickelt wurde, um die Leistungsbeschränkungen älterer, Python-basierter Tools zu überwinden. Ziel ist es, eine schnellere und integriertere Entwicklungserfahrung zu bieten.
- 1Pyrefly vs. MyPy: Pyrefly bietet eine deutlich schnellere Typüberprüfung, die PyTorch-Analyse in 5,5 Sekunden im Vergleich zu MyPy's 50,6 Sekunden abschließt, und integriert Sprachserver-Funktionen direkt in IDEs.
- 2Pyrefly vs. Pylance (powered by Pyright): Pyrefly ist für eine breitere IDE-Kompatibilität über VS Code hinaus konzipiert und zeigt überlegene Leistung, indem es PyTorch in 5,5 Sekunden im Vergleich zu Pyright's 35,2 Sekunden überprüft.
- 3Pyrefly vs. Pytype: Pyrefly fungiert sowohl als statischer Typ-Checker als auch als vollständiger Sprachserver mit umfangreichen IDE-Funktionen, während Pytype sich hauptsächlich auf Typinferenz und -prüfung ohne direkte Sprachserver-Fähigkeiten konzentriert.
- 4Pyrefly vs. Pyre: Pyrefly ist eine komplette Neuentwicklung in Rust, die Metas früheren OCaml-basierten Typ-Checker, Pyre, ablöst, um Einschränkungen bei der reaktionsschnellen IDE-Typüberprüfung zu überwinden und die Erweiterbarkeit sowie den Community-Fokus zu verbessern.
- 5Pyrefly vs. Ty (Astral): Pyrefly ist aggressiver bei der Typinferenz, verfügt über einen breiteren bestehenden Funktionsumfang, bessere Dokumentation und Tools für die Migration und erreicht eine höhere Erfolgsquote (~58%) bei Python-Typing-Konformitätstestfällen im Vergleich zu Ty (~15%) Stand August 2025.
❓
Frequently Asked Questions
+Was ist Pyrefly?
Pyrefly ist ein von Meta entwickeltes statisches Typ-Checker- und Sprachserver-Tool, das Python-Entwicklern ermöglicht, typbezogene Fehler vor der Laufzeit abzufangen. Es bietet leistungsstarke IDE-Funktionen zur Verbesserung der Entwicklererfahrung und der Codequalität.
+Ist Pyrefly kostenlos?
Ja, Pyrefly ist ein Open-Source-Projekt, das von Meta entwickelt wurde und kostenlos auf GitHub verfügbar ist.
+Was sind die Hauptmerkmale von Pyrefly?
Zu den Hauptmerkmalen von Pyrefly gehören schnelle statische Typüberprüfung, ein vollständiger Sprachserver für IDEs (mit Code-Navigation, semantischem Highlighting, Code-Vervollständigung, Hover-Informationen und Refactoring) sowie Unterstützung für Jupyter Notebooks. Es ist in Rust für hohe Leistung bei großen Python-Codebasen gebaut.
+Wer sollte Pyrefly verwenden?
Pyrefly ist für Python-Entwickler und -Teams gedacht, die an großen Produktionscodebasen arbeiten, diejenigen, die die Codequalität durch Typ-Annotationen verbessern möchten, und Benutzer von IDEs wie VSCode, Neovim oder Zed, die von erweiterten Sprachserver-Funktionalitäten profitieren.
+Wie schneidet Pyrefly im Vergleich zu Alternativen ab?
Pyrefly unterscheidet sich von Alternativen wie MyPy und Pyright durch eine deutlich schnellere Typüberprüfung (z.B. 5,5 Sekunden für PyTorch vs. MyPy's 50,6 Sekunden) aufgrund seiner Rust-Implementierung. Es bietet auch eine integriertere Sprachserver-Erfahrung im Vergleich zu Tools wie Pytype und ist ein Nachfolger von Metas früherem Pyre-Projekt, das für verbesserte Leistung und Erweiterbarkeit entwickelt wurde.