pylyzer

Pylyzer ⚡

pylyzer adalah penganalisa kode statis / server bahasa untuk python, ditulis dalam karat.

Instalasi

Pip

pip install pylyzer

Cargo (Rust Package Manager)

cargo install pylyzer --locked

membangun dari sumber

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

Pastikan cargo / rustc terkini, karena Pylyzer dapat ditulis dengan fitur bahasa terbaru (stabil).

Rilis GitHub

Cara menggunakan

Periksa satu file

pylyzer file.py

Periksa seluruh paket

Jika Anda tidak menentukan jalur file, Pylyzer akan secara otomatis mencari titik masuk.

pylyzer

Mulai server bahasa

Opsi ini digunakan ketika editor LSP-AWARE membutuhkan argumen untuk memulai Pylyzer.

pylyzer --server

Untuk opsi lain, periksa manual.

Apa keuntungan dibandingkan Pylint, Pyright, Pytype, dll?

• Pertunjukan ?

Rata -rata, Pylyzer dapat memeriksa skrip Python lebih dari 100 kali lebih cepat dari Pytype dan Pyright ¹ . Ini sebagian besar disebabkan oleh fakta bahwa Pylyzer diimplementasikan dalam karat.

• Laporan Keterbacaan

Sementara laporan kesalahan PyType/Pyright tidak terbaca, Pylyzer menunjukkan di mana kesalahan terjadi dan memberikan pesan kesalahan yang jelas.

Pyright

Pylyzer?

• Dukungan LSP yang kaya

Pylyzer sebagai server bahasa mendukung berbagai fitur, seperti penyelesaian dan penggantian nama (server bahasa adalah adaptasi dari ERG Language Server (ELS). Untuk informasi lebih lanjut tentang fitur yang diimplementasikan, silakan lihat di sini).

Ekstensi VScode

Anda dapat menginstal ekstensi vScode dari pasar atau dari baris perintah:

code --install-extension pylyzer.pylyzer

Apa bedanya dari Ruff?

Ruff, seperti Pylyzer, adalah alat analisis kode statis untuk Python yang ditulis dalam karat, tetapi Ruff adalah linter dan pylyzer adalah tipe checker & server bahasa. Pylyzer tidak melakukan linting & formatting, dan Ruff tidak melakukan pemeriksaan tipe.

Cara kerjanya

Pylyzer menggunakan tipe pemeriksa bahasa pemrograman ERG secara internal. Bahasa ini adalah bahasa yang ditranspilasi yang menargetkan Python, dan memiliki sistem tipe statis.

Pylyzer mengonversi ast Python menjadi erg asts dan meneruskannya ke pemeriksa tipe ERG. Kemudian menampilkan hasil dengan modifikasi yang sesuai.

Batasan

• Inspektur tipe Pylyzer hanya mengasumsikan kode yang diketik secara statis, sehingga Anda tidak dapat memeriksa kode menggunakan refleksi, seperti exec , setattr , dll.

• Pylyzer (= sistem tipe ERG) memiliki deklarasi tipe sendiri untuk API standar Python. Pengetikan semua API tidak lengkap dan dapat mengakibatkan kesalahan bahwa API seperti itu tidak ada.

• Karena jenis pengecekan Pylyzer konservatif, Anda mungkin menghadapi banyak kesalahan (mungkin palsu positif). Kami sedang berupaya memperbaiki ini, tetapi jika Anda khawatir tentang kesalahan editor, silakan matikan fitur diagnostik.

Todos

• Ketik Pemeriksaan
  • variabel
  • operator
  • fungsi/metode
  • kelas
  • async/await
• Ketik inferensi
  • variabel
  • operator
  • fungsi/metode
  • kelas
• Analisis Modul Builtin
• analisis skrip lokal
• Analisis Paket Lokal
• Fitur LSP
  • Diagnostik
  • penyelesaian
  • ganti nama
  • melayang
  • Definisi GOTO
  • bantuan tanda tangan
  • Temukan referensi
  • simbol dokumen
  • Panggil hierarki
• jenis koleksi
  • list
  • dict
  • tuple
  • set
• typing
  • Union
  • Optional
  • Literal
  • Callable
  • Any
  • TypeVar
  • TypedDict
  • ClassVar
  • Generic
  • Protocol
  • Final
  • Annotated
  • TypeAlias
  • TypeGuard
  • Ketik Parameter Sintaks
  • ketik penyempitan
  • yang lain
• collections.abc
  • Iterable
  • Iterator
  • Mapping
  • Sequence
  • yang lain
• Ketik pernyataan ( typing.cast )
• ketik penyempitan ( is , isinstance )
• Dukungan File pyi (Stub)
• Pemeriksaan File Pola Glob
• ketik komentar ( # type: ... )
• Dukungan Lingkungan Virtual
• Dukungan Manajer Paket
  • pip
  • poetry
  • uv

Bergabunglah dengan kami!

Kami mencari kontributor untuk membantu kami meningkatkan Pylyzer. Jika Anda tertarik untuk berkontribusi dan memiliki pertanyaan, jangan ragu untuk menghubungi kami.

• Perselisihan (bahasa erg)
  • #pylyzer
• Diskusi GitHub

---

¹ Tes Kinerja dilakukan di MacBook (awal 2016) dengan prosesor Intel Core M3 1,1 GHz dan 8 GB 1867 MHz LPDDR3 memori.↩