скачать pylyzer - скачать исходный код pylyzer

pylyzer

Другие категории

v0.0.75

Скачать

Пилизер ⚡

Статус сборки

pylyzer является статическим анализатором кода / языковым сервером для Python, написанный в Rust.

Установка

пип

pip install pylyzer

груз (менеджер пакетов ржавчины)

cargo install pylyzer --locked

строить из источника

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

Убедитесь, что cargo / rustc в курсе, так как Pylyzer может быть написан с последними (стабильными) языковыми функциями.

GitHub выпускается

Как использовать

Проверьте один файл

pylyzer file.py

Проверьте целый пакет

Если вы не указаете путь к файлу, Pylyzer автоматически искупит точку входа.

pylyzer

Запустить языковой сервер

Эта опция используется, когда редактор LSP-AWARE требует аргументов для запуска Pylyzer.

pylyzer --server

Для других вариантов проверьте руководство.

Каково преимущество перед пилинтом, пирайтом, питтипом и т. Д.?

Производительность ?

В среднем, Pylyzer может осмотреть сценарии Python более чем в 100 раз быстрее, чем Pytype и Pyright ¹ . Во многом это связано с тем, что Pylyzer реализован в ржавчине.

Отчеты читаемости

В то время как отчеты об ошибках Pytype/Pyright неразборчивы, Pylyzer показывает, где произошла ошибка и предоставляет четкие сообщения об ошибках.

пирайт

Пилизер?

Богатая поддержка LSP

Pylyzer как языковой сервер поддерживает различные функции, такие как завершение и переименование (языковой сервер - это адаптация языкового сервера ERG (ELS). Для получения дополнительной информации о реализованных функциях см. Здесь).

Расширение VSCODE

Вы можете установить расширение VSCODE с рынка или из командной строки:

code --install-extension pylyzer.pylyzer

В чем разница от езды?

Ruff, как и Pylyzer, является статическим инструментом анализа кода для Python, написанного в Rust, но Ruff - это Linter, а Pylyzer - это тип контроля и языкового сервера. Pylyzer не выполняет Linting & Formatting, а Ruff не выполняет проверку типов.

Как это работает

Pylyzer использует тип контроля языка программирования ERG внутри. Этот язык является транспилированным языком, который нацелен на Python и имеет статическую систему.

Pylyzer превращает Python AST в ERG ASTS и передает их в контроль типа ERG. Затем он отображает результаты с соответствующими модификациями.

Ограничения

Инспектор типа Pylyzer только предполагает (потенциально) статически напечатанный код, поэтому вы не можете проверить какой -либо код, использующий отражения, такие как exec , setattr и т. Д.
Pylyzer (= система типа ERG) имеет свои собственные объявления типа для стандартных API Python. Ввод всех API не завершен и может привести к ошибке, что такого API не существует.
Поскольку проверка типа Пилицера консервативна, вы можете столкнуться с многими (возможно, ложными положительными) ошибками. Мы работаем над тем, чтобы исправить это, но если вы обеспокоены ошибками редактора, пожалуйста, отключите функцию диагностики.

Тодос

Присоединяйтесь к нам!

Мы ищем участников, которые помогут нам улучшить Pylyzer. Если вы заинтересованы в внесении вопросов и у вас есть какие -либо вопросы, пожалуйста, не стесняйтесь обращаться к нам.