Google 弃用自研 Pytype,改用 Meta 开源 Rust 类型检查器 Pyrefly
bigaiguy · x · 2026-10-31
Google 已将 Python 类型检查器从自研十余年的 Pytype 换成 Meta 的开源项目 Pyrefly(MIT 协议)。Pytype 基于编译字节码分析,随 Python 版本频繁变动导致维护困难,Google 已将 Python 3.12 作为其最终支持版本。
Pyrefly 特点:
- Rust 编写,每秒可检查超 185 万行代码,对 PyTorch 的检查比 Mypy/Pyright 快 15 倍
- 通过约 97% 的 Python typing conformance 测试套件
- 兼作快速 language server,支持 VSCode/Neovim/Zed,保存后重查通常 10ms 内
- 已是 Meta Instagram 2000 万行 Python 代码库的默认检查器,PyTorch、JAX 等也采用
- 内置 Pydantic/Django/pytest 支持,提供 pyrefly init 迁移、pyrefly suppress 静默、pyrefly infer 生成注解
- 官方 GitHub Action 可在 PR 中内联标注类型错误,pip/conda/uv/poetry/pixi 均可安装
「编程与Agent」频道最新
- 开发者把 Game Boy CPU 指令编译进 Qwen 权重，未经修改的 HF 推理可跑通 — vincent_koc · 2026-10-31
- Claude Code Mods 详解：会话内跑 JS 模块，把编码助手变成可编程运行时 — bibryam · 2026-10-31
- Memgraph 3.14 破坏性变更盘点:null 比较、列位置解析都会踩坑 — JeremyCMorgan · 2026-10-31
- 开源 PostgreSQL MCP Server:让 AI 助手用自然语言安全查询数据库 — modelcontextprotocol · 2026-10-31
- zero-core-verify MCP 连接器:用 LLM-as-judge 做交易后结果验证 — modelcontextprotocol · 2026-10-31
- ComfyUI Agent v0.4.0:事务化画布编辑、子图支持与 HF 模型自动查询 — FishermanLive8958 · 2026-10-31