刚刚开源的Python静态类型检查器:Pyright
近日,開發(fā)者msfterictraut在GitHub上提交了一個(gè)名為Pyrignt的開源項(xiàng)目,這是一個(gè)Python的靜態(tài)類型檢查器,主要是為了解決mypy等現(xiàn)有的Python類型檢查器無法解決的問題。
Pyright的編寫語言是TypeScript,可在節(jié)點(diǎn)內(nèi)運(yùn)行,適用于大型Python源代碼庫,不需要安裝Python環(huán)境或?qū)氲牡谌杰浖?#xff0c;在與VS Code編輯器一起使用時(shí),使用節(jié)點(diǎn)作為其擴(kuò)展運(yùn)行時(shí)。
相比于mypy等其它類型的檢查器,Pyright的速度可以達(dá)到5倍甚至更多,在“watch”模式下運(yùn)行,在修改文件時(shí)執(zhí)行快速增量更新。
Pyright提供以下語言服務(wù)功能:
- 懸停顯示類型信息的工具提示
- 符號(hào)定義的鏈接
- 在編輯期間智能優(yōu)先級(jí)排隊(duì)“實(shí)時(shí)”反饋
Pyright實(shí)現(xiàn)了一種服務(wù),可為語言服務(wù)器提供一個(gè)接口,當(dāng)其擁有一個(gè)程序?qū)嵗?#xff0c;將會(huì)跟蹤配置文件和所有構(gòu)成分析基礎(chǔ)的源文件,跟蹤多個(gè)sourceFile對(duì)象。每個(gè)源文件代表磁盤上一個(gè)Python源文件的內(nèi)容,文件的整個(gè)分析狀態(tài),例如分析的每個(gè)中間結(jié)果、最終結(jié)果以及產(chǎn)生的診斷(警告和錯(cuò)誤)都會(huì)一一跟蹤到。同時(shí),程序也會(huì)通過importResolver來解析每個(gè)源文件中引用的導(dǎo)入模塊。
與微軟官方支持的Microsoft Python語言服務(wù)器相比,Pyright的特點(diǎn)在于其提供了一些獨(dú)特的功能,如更多的可配置性、命令行執(zhí)行和更好的性能。目前,Pyright只發(fā)布了1.0.1版本,還處于需要大家積極建設(shè)貢獻(xiàn)的階段,感興趣的小伙伴可以點(diǎn)擊下方GitHub地址。
Pyright GitHub地址:https://github.com/Microsoft/pyright
總結(jié)
以上是生活随笔為你收集整理的刚刚开源的Python静态类型检查器:Pyright的全部?jī)?nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: npm 常用配置
- 下一篇: Python 数据类型之字典