原始來源InfoQ
摘要
Google 把 Python 型别检查从 Pytype 换成 Pyrefly，理由是速度更快、结果更准确且成本更低。Pyrefly 原出自 Meta，比 Pytype 约快 10 倍，增量重建最多快 98%，型别检查的峰值运算成本下降超过 80%。Google 回报在干净建置的关键路径上，型别检查时间减少 90% 至 99%。Pyrefly 与 Python 型别规范贴合度高，通过约 97% 的一致性测试，且社群活跃有助跟上新语法。诊断讯息提供行内标注与可能的修正建议，让问题更容易定位。
重點整理
- 维护大型 Python 程式库的团队可评估替换型别检查器，以降低 CI 时间与运算成本，但需先验证相容性。
- 大型 Python 专案的型别检查常是 CI 瓶颈，这类工具替换可直接缩短建置时间与云端运算支出。
編輯說明
本頁是 Code & Chain 對公開來源的編輯摘要，可能使用 AI 輔助整理並經自動化流程發布。請以原始來源為準；內容不構成投資、法律或稅務建議。