用 1980 年 Smalltalk-80 语法管 Agent,360 次测试合规率 100%
RandalSchwartz · reddit · 2026-11-03
作者复盘其 AI agent 控制面的演化:240+ 个 agent 工单积累了五套内部记法(Make、init-d、Graphviz DOT、Gherkin、Belnap 表),维护五个解析器造成边界摩擦,最终全部收敛为 1980 年 Xerox PARC 的 Smalltalk-80 关键字级联语法。
360 次测试、16k token 干扰负载下的对比结果:
- Prose + Gherkin + init-d:合规率仅 2.5%(3/120)
- Common Lisp S 表达式:整体 91.7%,但在 flash-lite 模型上因闭括号漂移降到 66.7%
- Smalltalk-80 关键字级联:100% 合规(120/120,p < 0.0001)
核心洞察是:关键字选择器(state:invariant:onSuccess:onFailure:)在语法上要求每个冒号组件,省略失败路径会立即触发编译期 MessageNotUnderstood 错误——用确定性语法强制 LLM 输出完整性,胜过模糊的自然语言/混合记法。
「编程与Agent」频道最新
- 一夜做的小项目拿下 333 points 和约 2.2 万访客 — Aizkmusic · 2026-11-03
- 别信 agent 的「完成」状态:五个我手工坚持的检查项 — Kodenstudio · 2026-11-03
- 开源 iRacing AI 修车团队:5 个 agent 播报数字须先过遥测校验 — JeremyCMorgan · 2026-11-03
- Karpathy 分享 prompt:让 Claude Code 顺手做个浏览器扩展 — amaarora · 2026-11-03
- Cherry Pi 提出 harness 分层架构:内层管 agent 循环,外层管工作空间 — sull · 2026-11-03
- $200 Claude Max 跑通宵多 subagent 任务,仅耗 6% 周限额 — lxfater · 2026-11-03