速度快 5 倍不止,無需依賴環境的微軟開源 Python 類型檢查工具

Pyright 是微軟開源的一個 Python 的靜態類型檢查器,在 Pyright 之前,主流的靜態檢查工具有三款:官方的 mypy 、Google 的 pytype 、Facebook 的 pyre-check。Pyright 站在巨人的肩膀上,解決了部分現有的 Python 類型檢查器暫未能無法解決的問題。

速度快 5 倍不止,無需依賴環境的微軟開源 Python 類型檢查工具


Pyright 使用 TypeScript 編寫,支持節點內運行,即使大型 Python 源代碼庫也無需要安裝 Python 環境或導入的第三方軟件包,當與 VS 代碼編輯器一起使用時非常好用,使用節點作為其擴展運行時。

主要特點有:

  • 速度快。相較於 mypy 及其它用 Python 寫的檢查工具,它的速度是 5 倍甚至更多。
  • 不依賴 Python 環境。它用 TypeScript 寫成,運行於 node 上,不依賴 Python 環境或第三方包。
  • 可配置性強。支持自由地配置,支持指定不同的運行環境(PYTHONPATH 設置、Python 版本、平臺目標)。
  • 檢查項齊全。支持類型檢查及其它語法項的檢查(如 PEP-484、PEP-526、PEP-544),以及函數返回值、類變量、全局變量的檢查,甚至可以檢查條件循環語句
  • 命令行工具。它包含兩個 VS Code 插件:一個命令行工具和一個語言服務器協議(Language Server Protocol)
  • 內置 Stubs 。使用的是 Typeshed 的副本。(注:使用靜態的 pyi 文件,檢查內置模塊、標準庫和三方件 )
  • 語言服務特性。懸停提示信息、符號定義的跳轉、實時的編輯反饋

Python 官方、谷歌、微軟、Facebook 哪家的技高一籌,還要你親自試試,快了 5倍是真是假一試便知。

GitHub 地址:

https://github.com/Microsoft/pyright

https://github.com/python/mypy

https://github.com/google/pytype

https://github.com/facebook/pyre-check


網站崩潰找不到原因?平臺搭建無從下手?熱門技術不想落伍?想要變強找不到資料?

[IT拯救聯盟],讓大牛和同伴拯救你,帶你裝x帶你飛。定期乾貨分享、大牛專業解答、實用IT工具優選.....

私信小編“聯盟”,即可加入我們~


分享到:


相關文章: