pylyzer Download - pylyzer Source Code Download

pylyzer

Andere Kategorien

v0.0.75

Herunterladen

Pylyzer ⚡

Status erstellen

pylyzer ist ein statischer Code -Analysator / Sprachserver für Python, der in Rost geschrieben wurde.

Installation

Pip

pip install pylyzer

Fracht (Rostpaketmanager)

cargo install pylyzer --locked

aus der Quelle bauen

git clone https://github.com/mtshiba/pylyzer.git
cargo install --path . --locked

Stellen Sie sicher, dass cargo / rustc auf dem neuesten Stand ist, da Pylyzer mit den neuesten (stabilen) Sprachfunktionen geschrieben werden kann.

Github veröffentlicht

Wie man benutzt

Überprüfen Sie eine einzige Datei

pylyzer file.py

Überprüfen Sie ein ganzes Paket

Wenn Sie keinen Dateipfad angeben, sucht Pylyzer automatisch nach dem Einstiegspunkt.

pylyzer

Starten Sie den Sprachserver

Diese Option wird verwendet, wenn ein LSP-bewusstes Editor Argumente benötigt, um Pylyzer zu starten.

pylyzer --server

Weitere Optionen überprüfen Sie das Handbuch.

Was ist der Vorteil gegenüber Pylint, Pyright, Pyype usw.?

Leistung ?

Im Durchschnitt kann Pylyzer Python -Skripte mehr als 100 -mal schneller inspizieren als Pytype und Pyright ¹ . Dies liegt hauptsächlich daran, dass Pylyzer in Rost implementiert ist.

Berichte Lesbarkeit

Während die Fehlerberichte von Pytype/Pyright unleserlich sind, zeigt Pylyzer an, wo der Fehler aufgetreten ist, und liefert klare Fehlermeldungen.

Pyright

Pylyzer?

Reiche LSP -Unterstützung

Pylyzer als Sprachserver unterstützt verschiedene Funktionen wie Fertigstellung und Umbenennen (der Sprachserver ist eine Anpassung des ERG -Sprachservers (ELS). Weitere Informationen zu den implementierten Funktionen finden Sie hier).

VSCODE -Erweiterung

Sie können die VSCODE -Erweiterung vom Marktplatz oder aus der Befehlszeile installieren:

code --install-extension pylyzer.pylyzer

Was ist der Unterschied zu Ruff?

Ruff ist wie Pylyzer ein statisches Code -Analyse -Tool für Python, das in Rost geschrieben wurde, aber Ruff ist ein Stranken und Pylyzer ist ein Typ Checker & Language Server. Pylyzer führt keine Linie und Formatierung durch und Ruff führt keine Typprüfung durch.

Wie es funktioniert

Pylyzer verwendet den Typ -Checker der Erg -Programmiersprache intern. Diese Sprache ist eine transpilierte Sprache, die auf Python abzielt und über ein statisches System verfügt.

Pylyzer konvertiert Python Asts in ERG -Asts und übergibt sie an den Typ von ERGs Typ. Anschließend werden die Ergebnisse mit geeigneten Änderungen angezeigt.

Einschränkungen

Der Typ -Inspektor von Pylyzer geht nur (potenziell) statisch getippt Code an, sodass Sie keine Code verwenden können, die Reflexionen wie exec , setattr usw. verwendet.
Pylyzer (= ERGs Typsystem) hat seine eigenen Typdeklarationen für die Python -Standard -APIs. Die Eingabe aller APIs ist nicht vollständig und kann zu einem Fehler führen, dass eine solche API nicht existiert.
Da Pylyzers Typprüfung konservativ ist, können Sie auf viele (möglicherweise falsch positive) Fehler stoßen. Wir arbeiten daran, dies zu beheben, aber wenn Sie sich über Editor -Fehler besorgt sind, deaktivieren Sie bitte die Diagnostikfunktion.

Todos

Begleiten Sie uns!

Wir suchen nach Mitwirkenden, die uns helfen, Pylyzer zu verbessern. Wenn Sie daran interessiert sind, Beiträge zu leisten und Fragen zu haben, können Sie sich gerne an uns wenden.