Aperio Lang：为 LLM 时代编程还是对 Actor Model 的重新包装？

大型语言模型（LLMs）的出现引发了一波关于我们如何设计编程语言的实验。目标通常是将优化目标从人机摩擦转移到更适合 AI 代理推理和生成代码的方式。于是出现了 Aperio Lang，一个声称为“LLM 时代”重新思考系统规范的项目。

在核心上，Aperio 提议摆脱传统以执行为中心的语言，转向强调结构对应和高级系统承诺的模型。然而，它的推出在技术社区引发了激烈的争论，焦点不仅在于语言本身的优点，还在于 AI 在技术交流中的角色。

核心概念：Locus

Aperio 引入了一个称为 locus 的基础原语。文档将其描述为一种新颖的方式，用于编码数据驱动实体之间的通信，而无需手动布线实现细节（如 Rust 的通道或特定的线格式），但有经验的开发者注意到它与现有范式有很强的相似性。

观察者指出，“locus”概念映射了 Actor Model，特别是联合 actor 模型中的“实体”概念。其他人则注意到它与语言如 P、Pony、rospy，或 Milner 的大图（bigraph）理论框架相似，在这些框架中系统被视为交互节点的超图。

为 “LLM 时代” 进行设计

Aperio 的核心论点是，2023 年之前设计的语言是为了最小化人类认知能力与机器执行之间的摩擦而优化的。项目认为，在 LLM 驱动的工作流中，传统语言变得“更昂贵”，因为成本转移到了 LLM 的 token 数量、重试率和延迟上。

通过创建一种同时匹配人类和代理对系统的心理模型的语言，Aperio 旨在降低这种开销。目标是构建一个“表面”，使每个单元的结构性承诺都有其语法归宿，让 LLM 能够指定系统架构的 what，而不被实现的 how 所困扰。

社区批评：“LLM 发热梦”

尽管目标宏大，Hacker News 上的反馈却普遍持怀疑态度，主要原因是项目的呈现方式。批评中反复出现的主题是使用 LLM 生成的散文来描述语言的做法。

批评者认为文档缺乏科学或技术提案所需的精确性。一位用户将文档形容为“LLM 发热梦”，暗示文本在赞美想法，却未提供连贯、严谨的论证。

“当参与的人甚至懒得把自己的想法写下来并使之连贯时，很难产生兴趣……整页内容读起来就像那些 LLM 发热梦一样，停不下来地赞美你粘贴进聊天窗口的想法。”

这引发了关于技术写作“恐怖谷”的更广泛讨论。多位评论者表达了对编程语言设计细微差别被通用、过度抛光却空洞的 AI 生成内容风格所掩盖的沮丧。

技术缺口与可访问性

除了文字之外，社区还指出了评估 Aperio 时的实际障碍：

  • Private Repositories: 多位用户报告说文档中提供的 GitHub 链接已失效或指向私有仓库，导致无法查看实际实现或语法。
  • Conceptual Clarity: 有些用户觉得入门材料难以理解，暗示高层声明与具体技术解释之间的差距过大。

结论

Aperio Lang 是一个有趣的思考实验：我们能否构建一种专为编写代码的代理设计的语言？虽然面向系统规范的高级结构化语言的想法很有吸引力，但 Aperio 项目却是一个警示案例。在语言设计的世界里，论证的严谨性和实现的透明度与概念的新颖性同等重要。

Sources