AI native 或许是中文编程的未来

[uorz]

代理编程编译器：通过 AI 原生编程语言解决“Token 怪兽”问题

目前的 AI 交互正处于“机器代码”时代。提示工程（ Prompt Engineering ）虽然强大，但本质上是脆弱、昂贵且不安全的。随着我们向复杂的自主代理（ Autonomous Agents ）迈进，我们正面临一堵无法逾越的墙：Token 怪兽。每一轮交互都在重新摄取不断增长的历史记录，导致语境窗口（ Context Window ）急剧膨胀，使本地的小型语言模型（ SLM ）淹没在无关数据中。

为了突破这一瓶颈，我们需要停止单纯的“提示”，开始真正的“编程”。本文提出了一种转向 AI 原生编程语言（ AI-Native Programming Language, ANPL ）的架构——这是一种高阶抽象，它将复杂的推理逻辑与本地的执行过程解耦。

---

1. 案例研究：参考资料翻译流水线

假设你在阅读一篇博客总结，其中提到了五篇相关的参考文章，但只给出了模糊的标题（可能是意译的）。你的目标是：找到这些文章的原始 URL ，抓取内容，将其翻译成中文，并保存为 Markdown 文件。

编译后的 DSL （由云端大模型生成）

“编译器”接收你的自然语言请求，并为本地框架生成如下伪代码：

PROGRAM: 多源文章翻译器
STATE:
  - original_blog_url: "https://example.com/summary"
  - article_metadata_list: LIST[名称, 预估 URL]
  - final_markdowns: LIST[文件]

ROUTINE: Main
  - STEP: 提取链接
    AGENT: 本地科研代理 (SLM)
    INPUT: [original_blog_url]
    TOOL: 浏览器搜索
    OUTPUT: article_metadata_list

  - FOR: entry IN article_metadata_list
    DO:
      - SUBROUTINE: 抓取并翻译(entry)

子程序：抓取并翻译

ROUTINE: 抓取并翻译(entry)
  - STEP: 获取内容
    TOOL: 浏览器工具
    TRY:
      - CALL: Browser.get(entry.URL)
    CATCH: CaptchaException  # 遇到验证码
      - RAISE: 需要人工干预("发现验证码: " + entry.URL)
      
  - STEP: 翻译内容
    AGENT: 本地翻译代理 (SLM)
    INPUT: [fetched_text, "目标语言: 中文"]
    TYPE_CHECK: Language == "zh-CN" # 语义类型检查
    OUTPUT: translated_content
    
  - STEP: 保存文件
    TOOL: 文件系统.write
    PARAMS: { name: entry.Name + ".md", content: translated_content }

在这个流程中，翻译代理 (SLM) 永远看不到原始博客的 URL ，也看不到其他文章的列表。它只看到当前步骤所需的 fetched_text。这保证了其语境窗口的极度纯净，从而极大提升了执行效率和准确度。

---

2. 核心理念：ANPL 架构详述

AI 原生编程语言（ ANPL ）基于三个经典计算机科学原则，并针对概率性的 AI 世界进行了适配：

A. 具名历史切片（变量即语境隔离）

在标准的 AI 对话中，语境是一个栈（ Stack ）：每一条新消息都堆叠在上方，模型必须翻遍整堆杂物。而在 ANPL 中，语境是一个堆（ Heap ）：它是具名对象的集合，解释器只在需要时将特定变量“注入”给 SLM 。

• 语境防火墙： 框架管理一个变量注册表。当运行“翻译”步骤时，框架仅生成如下提示：“使用 [翻译风格] 翻译 [文章内容]”。之前的搜索过程、抓取日志和其他文章的副本都会从 SLM 的活跃内存（ KV-Cache ）中清除。这实现了真正的语境隔离，防止信息污染。

B. 语义强类型检查

在传统编程中，类型检查确保你不会把字符串当成整数。在 ANPL 中，我们引入了语义类型（ Semantic Types ）。

• 结构化校验： 确保输出符合 JSON 或 Markdown 模式。
• 逻辑校验： 框架使用专门的“校验器”（或更轻量的判断模型）来验证：输出的内容真的是中文吗？是否包含有害信息？如果校验失败，程序不会带着错误数据继续运行，而是触发自动的精炼循环（ Refinement Loop ），告诉 SLM 哪里出错了并要求重试。

C. RAISE 语义与热修复（ Hot-Fix ）机制

传统代理在遇到无法解决的问题时往往会产生“幻觉”。ANPL 通过结构化异常强制代理承认失败。

• 分级错误处理： 如果抓取失败，本地 DSL 的 CATCH 块可以尝试切换工具（如改用 curl）。
• 冒泡与热修复： 如果本地无法处理（如复杂的验证码），SLM 执行 RAISE。此时框架暂停解释器，并将错误日志发送给云端“编译器”。云端大模型分析后发送回一个补丁（ Patch ）——一段新的 DSL 代码来绕过或解决该问题。这种方式既利用了云端的智慧，又避免了将所有私有数据上传。

---

3. 最终目标：从 AI 代理到静态脚本

ANPL 的最终愿景是实现静态蒸馏（ Static Distillation ），将昂贵的推理过程转化为廉价的确定性代码。

1. 追踪分析： 框架监控执行日志。它发现“保存文件”这一步骤在 10 次成功运行中，其行为完全是确定性的，只是简单的文件 I/O 。
2. 代码生成： 框架要求云端模型根据成功的执行轨迹，编写一段永久性的 Python 函数来替代该 SLM 步骤。
3. 混合执行： 在未来的运行中，这些步骤将不再调用语言模型，而是直接运行 Python 脚本。随着时间的推移，你的“AI 代理”会慢慢进化为一个确定性的软件套件，将 Token 成本降至近乎为零。

---

4. 总结

这种架构将 AI 从一个“聊天框”转变为一个结构化的虚拟执行引擎。通过将前沿模型（ Frontier Models ）作为编译器，将本地小模型（ SLMs ）作为受限语境下的解释器，我们实现了：

• 减少 90% 的 Token 浪费： 通过变量隔离历史。
• 硬件效率提升： 允许在本地芯片（如 Apple M 系列）上流畅运行。
• 数据主权： 原始数据保留在本地，仅将“逻辑请求”发送至云端。

---

我已经开始起草一份 ANPL 的“指令集架构 (ISA)”草案，目前计划使用中文进行关键字和编译器 prompt 设计。接下来将进行框架(runtime)的实现，采用常规 python ，欢迎大家一起讨论！

[x4gz]

所以这一段规划文字也是 AI 自己生成的吗

[uorz]

本来是英文写的，用 Gemini 翻译成中文的