GitHub 熱門:微軟新開源的 Python 靜態型別檢查器
(給Python開發者加星標,提升Python技能)
原創整理:Python開發者(id:PythonCoder)
昨天 GitHub 每日趨勢榜中,又出現了一個微軟新開源的專案:
https://github.com/Microsoft/pyright
微軟稱,建立 PyRight 專案,是為了解決現有 Python 靜態型別檢查器(比如 mypy)中的不足。
速度
PyRight 通常比 mypy 和其他用 Python 編寫的型別檢查器快 5 倍或更多。它適用於大型 Python 原始碼庫。它可以在“監視(Watch)”模式下執行,並在修改檔案時執行快速增量更新。
不依賴於 Python 環境
PyRight 是用 TypeScript 編寫的,在 node 中執行。它不需要安裝 Python 環境或匯入的第三方包。當與用 node 作為擴充套件執行時的 VS Code 編輯器一起使用時,這特別實用。
可配置性
PyRight 支援靈活的配置,提供對設定的粒度控制。可以為源庫的不同子集指定不同的“執行環境”。每個環境都可以指定不同的 PYTHONPATH 設定、Python 語言版本和平臺目標。
型別檢查功能
PyRight 支援:
PEP 484 型別提示,包括泛型
PEP 526 變數註釋的語法
PEP 544 結構子型別
函式返回值、例項變數、類變數和全域性變數的型別推斷
理解條件程式碼流結構(如if/else語句)的智慧型別約束
命令列或語言服務
PyRight 包括了命令列工具,還有用於 VS Code 的語言伺服器協議外掛。
語言服務特性
PyRight 提供了以下語言服務功能:
顯示型別資訊的懸停工具提示
指向符號定義的連結
智慧優先順序排隊“實時”反饋期間編輯
侷限
PyRight 目前僅支援 Python 3.x,不計劃支援 2.x。
推薦閱讀
(點選標題可跳轉閱讀)
覺得本文對你有幫助?請分享給更多人
關注「Python開發者」加星標,提升Python技能
喜歡就點一下「好看」唄~
相關文章
- Flow:Facebook 的 JavaScript 靜態型別檢查器JavaScript型別
- React的靜態型別檢查React型別
- Flow_JS靜態型別檢查器JS型別
- flow–facebook出品的javascript靜態型別檢查器JavaScript型別
- Vue中的靜態型別檢查Vue型別
- Python的靜態型別之旅Python型別
- Flow靜態型別檢查及在Vue專案中的使用型別Vue
- C的動態型別檢查型別
- 程式碼靜態掃描規則——型別轉換檢查型別
- Groovy 2.0靜態型別檢查及編譯功能介紹型別編譯
- Python 型別檢查Python型別
- Python中的型別檢查Python型別
- GitHub上的十一款熱門開源安全工具Github
- 微軟開源 MS-DOS「GitHub 熱點速覽」微軟Github
- 在Python 3中實現型別檢查器Python型別
- 近期GitHub上最熱門的開源專案(附連結)Github
- GitHub上最熱門的11款開源安全工具Github
- python程式碼檢查工具(靜態程式碼審查)Python
- 理解 TypeScript 的靜態型別TypeScript型別
- GitHub 熱門 Android 開源庫 Top 100GithubAndroid
- 淺談程式語言型別的強型別,弱型別,動態型別,靜態型別型別
- 型別檢查型別
- 查漏補缺,這些熱門開源專案你都知道麼?「GitHub 熱點速覽」Github
- ReactFlow程式碼靜態檢查React
- Github上最熱門的Java專案終於開源了!GithubJava
- 2017年度GitHub上最熱門的開源專案Github
- 使用puppeteer爬蟲,檢查頁面靜態資源丟失爬蟲
- ESLint 靜態程式碼檢查EsLint
- GitHub 創始人資助的開源瀏覽器「GitHub 熱點速覽」Github瀏覽器
- GitHub 官方開源的字型集「GitHub 熱點速覽」Github
- JavaScript 中的型別檢查JavaScript型別
- 微軟開源TypeScript編繹器 專案遷移至Github微軟TypeScriptGithub
- 靜態資源伺服器伺服器
- 5 個有趣的 Python 開源專案「GitHub 熱點速覽」PythonGithub
- vuecli結合eslint靜態檢查VueEsLint
- FindBugs:Java 靜態程式碼檢查Java
- CSS 程式碼靜態質量檢查CSS
- JavaScript 程式碼靜態質量檢查JavaScript