Pyrefly：Python 类型检查的新时代
2026年5月19日，据 GitHub Trending 周榜。
项目亮点
- 极速类型检查：比现有工具快数倍的 Python 类型检查
- 语言服务器：内置 LSP 支持，可直接接入 VS Code、Cursor 等编辑器
- Meta 开源：Facebook 内部使用多年后开源
对 Python 生态的影响
Python 类型检查一直是个痛点——mypy 虽然功能强大但速度慢，尤其在大型项目中。Pyrefly 的出现可能改变这一局面，让类型检查不再是开发的瓶颈。对于使用 AI 编码工具的 Python 项目来说，更快的类型检查意味着更快的反馈循环。
来源: GitHub Trending
链接: https://github.com/facebook/pyrefly