Pyrefly:A fast type checker/IDE extension for Python written in Rust
a year ago
- #Python
- #Open Source
- #Type Checking
- Pyrefly 是一个用 Rust 编写的开源 Python 类型检查器和 IDE 扩展工具
- 它提供静态类型检查功能，确保类型一致性并在运行前捕获错误
- 支持 IDE 集成（如 VSCode）和命令行使用，实现灵活的工作流程
- 专为高性能处理大型代码库设计（每秒 180 万行代码）
- 遵循 IDE 优先原则，提供实时反馈和类型推断功能
- 采用 MIT 开源协议，通过 GitHub 和 Discord 鼓励社区贡献
- 该项目源自 Meta 早期的 Pyre 类型检查器，旨在满足现代 Python 类型系统的需求
- 未来目标包括改进 Python 类型系统和开发者体验
- 目前提供 Alpha 版本，计划在夏季前移除 Alpha 标签