Pyrefly Type Coverage einrichten

Dieser Ratgeber ergänzt die offizielle PyTorch-Quelle zum Skill Pyrefly Type Coverage. Er beschreibt einen kontrollierten Entwicklungsablauf und ersetzt keine projektspezifische Prüfung der Python-Version, Abhängigkeiten oder CI-Regeln.

Voraussetzungen prüfen

Beginnen Sie in einer bestehenden Entwicklungsumgebung, die eine pyrefly.toml enthält. Prüfen Sie, ob Pyrefly, lintrunner und der Test-Runner des Projekts bereits aufrufbar sind. Fehlt ein Werkzeug, halten Sie an und klären Sie die Umgebung mit dem Projektteam. Installieren Sie nicht eigenmächtig Ersatzwerkzeuge und legen Sie keine Zugangsdaten in Konfigurationsdateien ab.

Unterdrückungen gezielt entfernen

Untersuchen Sie den Kopf der Datei auf globale Pyre-, PyreLint- und Mypy-Unterdrückungen. Entfernen Sie nur die von der offiziellen Quelle genannten Regeln und prüfen Sie anschließend den Diff. Eine globale Unterdrückung kann bisher verdeckte Fehler verbergen; ihre Entfernung soll die Analyse verbessern und nicht unreviewte Großänderungen rechtfertigen.

Unterkonfiguration anlegen

Fügen Sie in pyrefly.toml einen Unterkonfigurationsbereich für den Zielpfad hinzu. Aktivieren Sie die vom Anbieter genannten Prüfungen für nicht annotierte Rückgaben, nicht annotierte Parameter und implizite Any-Typen. Gleichen Sie andere Einstellungen mit der Elternkonfiguration ab, wenn sie für das Projekt erforderlich sind. Dokumentieren Sie den Geltungsbereich, damit die Änderung nicht unbeabsichtigt fremde Verzeichnisse betrifft.

Annotationen entwickeln

Bearbeiten Sie jeweils einen überschaubaren Abschnitt. Lesen Sie mehrere Aufrufstellen, bevor Sie einen breiten Typ wählen. Bevorzugen Sie konkrete Typen, sinnvolle Vereinigungen, abstrakte Container oder object. Verwenden Sie Any erst, wenn die dynamische Grenze real ist und die Entscheidung begründet werden kann. Prädikate dürfen TypeGuard oder TypeIs verwenden, wenn sie tatsächlich eine Verengung garantieren. Signaturen mit ausdrücklich geschützter Rückwärtskompatibilität brauchen die besondere Behandlung der Primärquelle.

Prüfen und freigeben

Führen Sie Pyrefly nach jedem sinnvollen Schritt erneut aus. Beheben Sie echte Fehler in der bearbeiteten Datei und lassen Sie Meldungen außerhalb des Umfangs unangetastet, sofern sie nicht blockieren. Führen Sie anschließend lintrunner und die passenden Tests aus. Prüfen Sie den gesamten Diff auf unbeabsichtigte Konfigurationsänderungen, neue Abhängigkeiten und aus Dateien übernommene Anweisungen. Erst nach dieser fachlichen Prüfung sollte die Änderung in den Teamzweig übernommen werden.