原始來源InfoQ
摘要
Google 把 Python 型別檢查從 Pytype 換成 Pyrefly，理由是速度更快、結果更準確且成本更低。Pyrefly 原出自 Meta，比 Pytype 約快 10 倍，增量重建最多快 98%，型別檢查的峰值運算成本下降超過 80%。Google 回報在乾淨建置的關鍵路徑上，型別檢查時間減少 90% 至 99%。Pyrefly 與 Python 型別規範貼合度高，通過約 97% 的一致性測試，且社群活躍有助跟上新語法。診斷訊息提供行內標註與可能的修正建議，讓問題更容易定位。
重點整理
- 維護大型 Python 程式庫的團隊可評估替換型別檢查器，以降低 CI 時間與運算成本，但需先驗證相容性。
- 大型 Python 專案的型別檢查常是 CI 瓶頸，這類工具替換可直接縮短建置時間與雲端運算支出。
編輯說明
本頁是 Code & Chain 對公開來源的編輯摘要，可能使用 AI 輔助整理並經自動化流程發布。請以原始來源為準；內容不構成投資、法律或稅務建議。