【Rust日报】2025-06-08 比较 Rust 编写的两个 python 类型检查器 Pyrefly vs. ty
💡
原文中文，约1400字，阅读约需4分钟。
📝
内容提要
本文比较了两个新的基于Rust的Python类型检查器：pyrefly和ty。pyrefly由Meta开发，注重速度和强大功能；ty由Astral团队开发，强调渐进式类型保证。性能测试显示ty优于pyrefly，且两者均快于mypy和pyright。文章还讨论了它们的目标和功能差异。
🎯
关键要点
- 本文比较了两个新的基于Rust的Python类型检查器：pyrefly和ty。
- pyrefly由Meta开发，目标是比之前的Pyre更快、更便携和更强大。
- ty由Astral团队开发，强调渐进式类型保证。
- 在性能测试中，ty在多个项目上表现优于pyrefly，且两者均快于mypy和pyright。
- 文章探讨了两者在目标、增量更新机制和功能支持上的差异。
- pyrefly支持隐式类型推断，而ty支持交集与否定类型。
- pyrefly和ty均处于早期alpha阶段，尚未正式发布。
❓
延伸问答
pyrefly和ty的主要区别是什么？
pyrefly注重速度和强大功能，而ty强调渐进式类型保证。
在性能测试中，哪个类型检查器表现更好？
在性能测试中，ty的表现优于pyrefly。
pyrefly和ty目前处于什么阶段？
两者均处于早期alpha阶段，尚未正式发布。
pyrefly支持哪些类型特性？
pyrefly支持隐式类型推断。
ty支持哪些类型特性？
ty支持交集与否定类型。
这两个类型检查器的开发团队分别是谁？
pyrefly由Meta开发，ty由Astral团队开发。
➡️
