pyrefly-type-coverage

Umiejętność ułatwiająca migrację plików Python do bardziej rygorystycznego systemu typów Pyrefly. Przeprowadzi Cię przez proces usuwania dyrektyw ignorujących błędy, konfiguracji pliku pyrefly.toml oraz dodania brakujących adnotacji typów do funkcji, klas i atrybutów. Narzędzie wspiera zarówno pliki indywidualne, jak i całe katalogi, pozwalając stopniowo podnosić jakość kontroli typów w projekcie.

1. Sprawdź, czy Twój projekt zawiera plik konfiguracyjny pyrefly.toml — jest to wymagane do pracy z tą umiejętnością.
2. Otwórz plik, który chcesz ulepszyć, i usuń wszystkie komentarze typu pyre-ignore-all-errors lub @lint-ignore-every PYRELINT znajdujące się na górze pliku — te dyrektywy blokują kontrolę typów dla całego pliku.
3. Dodaj wpis do pliku pyrefly.toml, aby włączyć ścisłą kontrolę typów dla Twojego pliku lub katalogu. Użyj sekcji [[sub-config]] z parametrem matches wskazującym ścieżkę do pliku (np. path/to/your/file.py) lub katalogu (np. path/to/directory/**), a następnie ustaw implicit-import = false i implicit-any = true w sekcji [sub-config.errors].
4. Uruchom polecenie pyrefly check , aby zidentyfikować wszystkie błędy typów — narzędzie wyświetli listę brakujących adnotacji zwrotnych, parametrów i atrybutów wraz z numerami linii.
5. Dodaj brakujące adnotacje typów do funkcji, klas i atrybutów na podstawie raportów z kroku 4 — możesz stopniowo włączać bardziej rygorystyczne opcje w pyrefly.toml, takie jak unannotated-attribute, unannotated-parameter i unannotated-return.
6. Ponownie uruchom pyrefly check, aby potwierdzić, że wszystkie błędy typów zostały rozwiązane i plik osiągnął pełne pokrycie typów.