Hacker News 中文摘要

RSS订阅

Pyrefly：基于 Rust 的 Python 类型检查器与语言服务器 -- Pyrefly: Python type checker and language server in Rust

原文链接 | HN讨论 | 2025-10-15 00:02:10

文章摘要

Pyrefly是一款快速的Python类型检查器和语言服务器，能以每秒185万行代码的速度进行类型检查，并提供闪电般的自动补全和即时错误反馈。它在性能测试中与Pyright、MyPy等工具表现相当，支持多线程优化，适用于大型代码库开发。开发者可通过Discord获取支持。

文章总结

文章标题：Pyrefly：一款高速Python类型检查器与语言服务器

核心内容概述：

  1. 高效性能

    • 每秒可检查超过185万行代码（测试环境：Meta基础设施，166核CPU/228GB内存）
    • 在MacBook（10核CPU/32GB内存）上对PyTorch代码库进行全量类型检查时，Pyrefly与Pyright、MyPy三大工具均实现"0秒级"响应
    • Pyrefly特点：自动最大化利用多线程资源

  2. 开发者体验

    • 提供闪电般的代码自动补全功能
    • 支持在编辑器中实时错误反馈
    • 可视化演示可供查看（文末暗示有演示链接）

  3. 技术支持

（注：原文中的测试环境标注符号ⓘ、具体命令行参数等技术细节已简化处理，保留核心数据对比）

评论总结

总结评论内容：

  1. 新工具推荐与比较

    • 推荐zuban/zuban-ls："It has replaced jedi-language-server for me" (评论1)
    • 比较ty与pyrefly："how this compares to 'ty'" (评论2)

  2. 性能与功能对比

    • pyrefly速度快但功能不足："love the speed...doesn't seem to highlight as much" (评论3)
    • 测试多种工具后推荐zuban："Zuban is the fastest" (评论10)

  3. Python工具生态现状

    • 类比JS工具爆炸："like JavaScript circa 2014" (评论4)
    • 选择多样性是好事："Choice is good" (评论4)

  4. 与PyCharm的差距

    • 都不及PyCharm："none do as good a job as PyCharm" (评论7)
    • 期待ty可能超越："my money would be on ty" (评论7)

  5. 特定功能支持问题

    • Pydantic支持缺失："Does it support pydantic?" (评论9)
    • 类型推断问题："getting confused about lists and tuples" (评论12)

  6. 用户偏好差异

    • 喜欢pyrefly的严格性："prefer the rigidity of pyrefly" (评论11)
    • 满足于现有工具："happy with basedpyright" (评论5)

关键引用： - "Python is starting to feel a bit like JavaScript circa 2014" (评论4) - "none of them do as good a job as PyCharm" (评论7) - "Zuban is the fastest" (评论10) - "Does it support pydantic?" (评论9)