تنزيل pylyzer - تنزيل رمز المصدر pylyzer

pylyzer

فئات أخرى

v0.0.75

تنزيل

بيليزر ⚡

بناء الحالة

pylyzer هو محلل / لغة رمز ثابت لـ Python ، مكتوب في Rust.

تثبيت

pip

pip install pylyzer

البضائع (مدير حزمة الصدأ)

cargo install pylyzer --locked

بناء من المصدر

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

تأكد من تحديث cargo / rustc ، حيث يمكن كتابة بيليزر مع أحدث ميزات اللغة (المستقرة).

إصدارات جيثب

كيفية استخدام

تحقق من ملف واحد

pylyzer file.py

تحقق من حزمة كاملة

إذا لم تحدد مسار ملف ، فسيبحث Pylyzer تلقائيًا عن نقطة الإدخال.

pylyzer

ابدأ خادم اللغة

يتم استخدام هذا الخيار عندما يتطلب محرر LSP-Awarted وسيطات لبدء بيليزر.

pylyzer --server

للحصول على خيارات أخرى ، تحقق من الدليل.

ما هي الميزة على Pylint ، Pyright ، Pytype ، وما إلى ذلك؟

أداء ؟

في المتوسط ، يمكن لـ Pylyzer فحص نصوص Python أكثر من 100 مرة أسرع من Pytype و Pyright ¹ . ويرجع ذلك إلى حد كبير إلى حقيقة أن بيليزر يتم تنفيذه في الصدأ.

تقارير قابلية القراءة

في حين أن تقارير خطأ Pytype/Pyright غير مقروءة ، فإن Pylyzer يعرض المكان الذي حدث فيه الخطأ ويوفر رسائل خطأ واضحة.

بيرايت

بيليزر؟

دعم LSP الغني

يدعم Pylyzer كخادم لغة مختلف الميزات ، مثل الانتهاء وإعادة تسمية (خادم اللغة هو تكيف مع خادم لغة ERG (ELS). لمزيد من المعلومات حول الميزات التي تم تنفيذها ، يرجى الاطلاع هنا).

تمديد VSCODE

يمكنك تثبيت امتداد VSCODE من السوق أو من سطر الأوامر:

code --install-extension pylyzer.pylyzer

ما هو الفرق من روف؟

Ruff ، مثل Pylyzer ، هي أداة تحليل رمز ثابت للبيثون المكتوبة في Rust ، ولكن Ruff هو Linter و Pylyzer هو خادم Type Checker & Language. لا يقوم Pylyzer بإجراء Linting & Tonforting ، ولا يقوم Ruff بإجراء فحص من النوع.

كيف تعمل

يستخدم Pylyzer مدقق نوع لغة برمجة ERG داخليًا. هذه اللغة هي لغة مقلوبة تستهدف بيثون ، ولها نظام ثابت.

يحول Pylyzer Python Asts إلى Erg Asts ويمررها إلى مدقق نوع Erg. ثم يعرض النتائج مع التعديلات المناسبة.

القيود

يفترض مفتش نوع Pylyzer فقط (يحتمل) رمزًا مكتوبًا بشكل ثابت ، لذلك لا يمكنك التحقق من أي رمز يستخدم انعكاسات ، مثل exec ، setattr ، إلخ.
يحتوي Pylyzer (= نظام نوع ERG) على إعلانات نوعها الخاصة لواجهة برمجة تطبيقات Python القياسية. كتابة جميع واجهات برمجة التطبيقات غير كاملة وقد تؤدي إلى خطأ في أن واجهة برمجة التطبيقات هذه غير موجودة.
نظرًا لأن فحص نوع Pylyzer محافظ ، فقد تواجه العديد من الأخطاء (ربما يكون كاذبًا إيجابيًا). نحن نعمل على إصلاح هذا ، ولكن إذا كنت قلقًا بشأن أخطاء المحرر ، فيرجى إيقاف تشغيل ميزة التشخيص.