Pyrefly vs. ty: 两款Rust编写的新一代Python类型检查器横空出世

PyCon 2025上，Meta的Pyrefly和Astral的ty两款基于Rust的新一代Python类型检查器首次亮相。Pyrefly旨在更快、更便携、功能更强大，并积极参与开源社区。ty则强调“渐进保证”，即移除类型注解不应导致类型错误。两者都使用Ruff进行AST解析，并支持命令行和IDE集成。性能测试显示ty普遍更快，但在类型推断和错误处理方面各有千秋。Pyrefly更积极地进行类型推断，可能捕捉更多错误，但可能也引入更多误报；ty则更保守，但更注重代码兼容性。两者都处于早期alpha阶段，未来发展值得期待。