作者 | Sergio De Simone

譯者 | 劉雅夢

策劃 | 丁曉昀

目前處于 alpha 階段的 Pyrefly 是 Meta 開發(fā)的一款新的開源 Python 類型檢查器，其使用 Rust 編寫，以實現(xiàn)最佳性能高性能磁鐵 。Pyrefly 的靈感來自于 Pyre、Pyright 和 MyPy 等工具，旨在取代之前用于 Instagram 代碼庫的基于 OCaml 的 Pyre 類型檢查器。

我們構建了 一個自定義的增量計算引擎，并基于多年的漸進類型理論經(jīng)驗和 Rust 專業(yè)知識設計了我們的類型檢查算法高性能磁鐵 。通過開源這項技術，我們希望它能夠更好地服務于任何規(guī)模的項目。

根據(jù) Meta 工程師的說法，開發(fā) Pyrefly 的主要動機是需要支持響應式的 IDE 類型檢查，隨著 Instagram 類型系統(tǒng)的復雜性的增加，使用 Pyre 來實現(xiàn)這一點變得越來越困難了高性能磁鐵 。

我們探索了替代解決方案，并利用 Pyright 等社區(qū)工具進行了代碼導航高性能磁鐵 。但是，由于需要一個可擴展的類型檢查器來進行代碼導航、大規(guī)模檢查和向其他服務導出類型，我們不得不重新開始，于是創(chuàng)建了 Pyrefly。

Pyrefly 是為高性能而設計的，并使用 Rust 實現(xiàn)，以最大限度地提高效率高性能磁鐵 。根據(jù) Meta 的說法，它可以在大型代碼庫上每秒檢查 180 萬行代碼，從而使得在每次按鍵點擊時進行類型檢查成為可能。

Meta 的基準測試顯示，Pyrefly 可以在 13.4 秒內完成對整個 Instagram 代碼庫的類型檢查，而 Pyre 需要 100 多秒高性能磁鐵 。類似地，Pyrefly 只需要 2.4 秒即可完成對 PyTorch 的類型檢查，而 Pyright 需要 35.2 秒，MyPy 需要 48.1 秒。

除了性能之外，Meta 選擇使用 Rust 來構建 Pyrefly，還因為它的安全性、跨平臺支持以及能夠編譯成 WebAssembly 的能力，這使得基于瀏覽器的 游樂場（Playground）體驗 成為可能高性能磁鐵 。

除了對帶注解的 Python 代碼庫進行類型檢查之外，Pyrefly 還致力于對未帶注解的代碼也有用高性能磁鐵 。為此，它可以自動推斷返回值和局部變量的類型，允許開發(fā)人員根據(jù)需要顯式地將推斷的類型插入到他們的代碼中。

Meta 已經(jīng)發(fā)布了 Pyrefly 的 alpha 版本，因為存在開放的缺陷并且一些功能正在開發(fā)中，但其計劃在今年夏天進入 beta 階段高性能磁鐵 。Visual Studio Code 擴展已經(jīng)可以在 Visual Studio Marketplace 中找到了。

Pyrefly 并不是唯一一個用 Rust 編寫的 Python 類型檢查器高性能磁鐵 。專門從事開發(fā)者工具的公司 Astral 最近推出了 Ty 的預覽版。Ty使用一個手寫的 Python 解析器，用 Rust 編寫，并基于 Python 的官方規(guī)范。如果你想嘗試一下，它還提供了一個游樂場（playground）。Astral 開發(fā)的其他工具還包括 Ruff 代碼檢查器和 uv 包管理器，它們也都是用 Rust 編寫的。