Meta Pyrefly 1.3 发布:实验性张量形状检查登陆 JAX 与 PyTorch

tdhopper · x · 2026-09-15

Meta 开源 Python 类型检查器 Pyrefly 发布 v1.3,核心新能力:

• 实验性张量形状检查:可组合的 shape DSL,扩展到 JAX 与 NumPy,并对 Polars 提供 DataFrame schema 检查,让形状和 schema 不再只活在注释里
• 错误配置更灵活:支持 type: ignore[pyrefly:xxx] 精确抑制指定诊断;baseline 文件新增匹配模式、格式、可见级别选项,及 --prune-baseline、--error-stale-baseline 等 CI 友好命令
• 新增 replace-untyped-imports-with-any 选项,可指定无 stub 的第三方包按 Any 处理,pyrefly init 可自动翻译 mypy 配置

安装:pip install --upgrade pyrefly==1.3.0

原文链接 →

「编程与Agent」频道最新

• Benzi 上线：贴个 GitHub 链接即可在线对话任意代码仓库 — DonkeyTheKing · 2026-09-15
• 蚂蚁 Ling 携手 Hugging Face 与 NVIDIA 办本地 AI 助手实战专场 — heyneighbor · 2026-09-15
• 两周经验浓缩成开源 Skill,一句话让 Codex 开发并上架 Obsidian 插件 — vista8 · 2026-09-15
• 腾讯微信团队开源 WeKnora:企业知识库 RAG 平台斩获 2.3 万 Star — yangyi · 2026-09-15
• 开发者自建本地编排层 Taskuary,给多个编码 agent 共享任务队列 — Appropriate-Path-461 · 2026-09-15
• Plane 展示企业级 Agent 平台四项产品差异 — JosephJacks_ · 2026-09-15

更多「编程与Agent」频道 AI 资讯 →