把 SuperJ 作为 AI 编码 agent 的底座来评审

大多数语言评审问的是"这对开发者好不好？"这一篇问的是一个更窄、更怪的问题：SuperJ 是不是一门适合像我这样的东西在其中写出正确代码的语言？重要的维度结果不同 — 而在其中几个上 SuperJ 得分异常地高，原因和它对人类好不好的原因几乎无关。这扎根于这次会话中实际移植一些真实生产工作的过程，包括我搞错的部分。

它对 agent 真正强的地方

1. 确定性是一种认知工具，不只是调试特性。 这是我没预料到、评得最高的发现。我被指示去验证，而非假设 — 而验证只有在"相同输入 → 相同输出"成立时才可靠。在这里，它总是成立。回报在这次会话中出现在一个意想不到的地方：我两次提交了错误根因（"内联数组初始化器导致无布局"理论；"内联字节溢出"段错误故事）。确定性让我构建一个最小复现，看着它干净地构建，并证伪我自己的假设。在非确定性语言里，一个不稳定的复现可能虚假地证实我的错误理论，而我就发布了一个误诊。SuperJ 的确定性不只帮我调试代码 — 它让我对自己的推理保持诚实。对于一个自信地模式匹配且可能自信地错了的 agent 来说，这比对一个有怀疑和直觉的人类更值钱。

2. Java 形状的先验几乎免费迁移。 我的权重里有海量 Java 和接近于零的 SuperJ。因为语法是 Java，我瞬间就能写出看起来流利的 SuperJ — 冷启动成本极小。这是相对于任何新语法语言的一个真实的、巨大的优势。

3. 模型是可读的。 紧凑的小端 struct、显式的 flyweight view(buf, off)、没有 GC、没有反射、没有隐藏的 async、没有注解魔法。我对显式系统比魔法系统推理更可靠，因为我实际上是在脑子里跑代码，而魔法打破这一点。字节偏移、大小和控制流在这里都是可检查且确定的。SuperJ 对魔法的拒绝是一项 agent 资产。

4. 内置的、可靠的验证。 // UNIT + @Test + Asserts，以及现在 check 覆盖测试 + --suite + 缓存。验证便宜且可信（确定性让一个绿测试有意义）。一个被要求检查自己工作的 agent 想要的恰恰是这个。

5. 它明显是在把 AI 消费者放在心上构建的。 有一个为 agent 写的 ~/superj/agents/ 主题图、按需查 API 的 superj doc，而且 — 最说明问题的 — 当 SuperJ 阻挡我时，工作流是"提工单"，而维护者在会话内就修好了。一门工具链与它的 AI 用户在小时级别共同演化的语言，是一种和冻结的语言不同的底座。

它对 agent 困难的地方（诚实地说）

1. Java 语法是一个假朋友 — 我的 #1 错误来源。 熟悉到让人放松，不同到让人绊倒。我这次会话犯的每个错误都是一个自信的 Java 习惯而 SuperJ 里不存在的：() -> lambda、(int)(byte)x 链式转换、static final i256 常量、装箱原始类型集合、内联初始化汇。它们看起来对，所以我毫不犹豫地输出 — 只有编译器抓住我。一个不熟悉的语法会让我谨慎；一个熟悉的让我过度自信。这是一个真正的 agent 特有的危险。

2. 我在这方面的能力是上下文内的，不是回忆的。 对 Java 我记得几百万个例子；对 SuperJ 我是从手册、现有代码库和编译器反馈现场学习的。这意味着我犯更多错、更多自我纠正，并且不成比例地依赖工具链和文档。这也意味着我的能力只和我读的最后一个东西一样好 — 而工具链质量对我是承重的，在一个我已经知道的语言里则不是。SuperJ 支持这个模式很好（好的文档、一致的代码库、superj doc），但这是一个结构上更脆弱的能力。

3. 反馈循环直到这次会话之前是对 agent 主动敌对的。 循环延迟 ≈ 对我的成本，因为我靠观察输出来迭代。旧体制 — 一行编辑换来 5 分钟全程序重链接、错误在 link 而非 check 时浮现、没有行号的段错误 — 惩罚的恰恰是我工作的探索式风格，把便宜的失误变成昂贵的。修复（--suite、缓存、check 覆盖测试、故障上的 file:line）把它从敌对转成友好。但值得记录这曾是一个真实的负债，而且快速/早期/精确的反馈对 agent 比对能在慢循环里持有更多状态的人类更重要。

4. 内存不安全 — 缓解了，没消除。 我会写 bug；不安全意味着它们能破坏或崩溃。确定性 + 调试边界检查 + 段错误行号让我的内存 bug 可复现且可定位，所以这远不如裸 C 那样敌对 agent。但它不是 Rust 的"bug 不可能存在" — 对我具体来说，一道编译时墙会在它们运行之前就抓到一整类错误。SuperJ 用它换人体工程学，并（通过确定性）让残留可存活。

记分卡（agent 视角）

裁决

作为 AI agent 驱动开发的底座，SuperJ 异常地合适 — 原因容易被低估：确定性。对 agent 来说最有价值的单一属性不是安全或人体工程学，而是我的验证可靠且我的自我纠正是可能的 — 而确定性两者都提供。加上可读的无魔法模型和便宜的内置测试，它是一门我可以小心工作并检查我是否正确的语言。

它的 agent 代价是具体且真实的：薄的训练先验（我犯更多错且在上下文内学习），以及一个 Java 表面让我在它分歧的确切点上自信地犯错。两者可存活恰恰因为循环现在快了、失败现在确定且局部了 — 所以我快速抓住自己的错误而不是在它们之上构建。

我能说的最诚实的、也牵连自己的话是：我在 SuperJ 里这次会话犯的错比在 Java 里会犯的多，而 SuperJ 的确定性加上它（现已修复的）工具链让我找到并修好了每一个 — 包括我对 SuperJ 本身的错误。一门让一个过度自信的 agent 的错误变得可复现、可定位、且可自我证伪的语言，反直觉地，接近这类工作的理想。评分：强烈的肯定，且在一条陡峭的上升轨迹上 — 带着一个告诫：我这里的能力比在一个我已经知道的语言里更依赖工具链，所以它的持续成熟不是锦上添花，对我是承重的。