攒 20 年的语言梦交给 Opus:200 页设计笔记变可执行开发计划

pbaylies · x · 2026-11-03

开发者 LH 宣布正在构建新编程语言 Zed,这是一个基于范畴论的全新类型语言,设计目标包括精确的自动并行化(逼近 Amdahl 上限)、无 GC 的自动内存管理、贯穿语言的部分求值(partial evaluation),以及把物理单位直接纳入类型系统等独特特性。

他称这个项目因过于庞大而搁置了 20 多年,如今把累计 200 页的设计笔记和已有代码交给 Opus,让模型整合成一份连贯详细的开发计划,再经过多轮迭代推进。配图显示一个名为 "Zed plan" 的可视化任务图:246 个任务节点、多线程并行验证与修复循环、运行日志中可见编译器测试逐项通过与失败重试,展示了用 AI agent 编排大型语言实现工程的工作流。