Jacquard：一款专为AI编写、人类审查代码而设计的编程语言
在生成式AI浪潮席卷全球的今天，一个有趣的问题浮现：AI能否创造一种它自己更偏爱的编程语言？Jacquard正是这一探索的产物——一门由AI参与设计、专为AI编写且由人类审查代码而生的语言。
核心设计理念
Jacquard的核心理念是**“AI编写，人类审查”。它并非要取代现有语言，而是试图在AI生成代码与人类理解、信任之间架起桥梁。传统语言告诉开发者程序“计算什么”，而Jacquard还额外暴露了三个关键维度：程序可能执行的副作用、有限离散不确定性以及规范的程序标识**。这些信息直接嵌入语言本身，而非仅存在于注释、日志或开发者的记忆中。
独特能力
Jacquard提供了几项传统语言难以实现的能力：
副作用可见性：通过函数签名如
(text) ->{net} text，开发者一眼就能看出该函数可能执行网络操作。Jacquard运行时会拒绝未处理的副作用，除非明确授权（--allow），这在语言层面提供了类似沙箱的强制约束。多世界执行：同一份代码可以在真实网络、模拟数据、历史流量回放甚至概率模型下运行。通过替换“处理器”（handler），开发者可以轻松测试“如果API宕机，我的智能体该怎么办？”这类场景，取代了传统的大量模拟工作。
概率枚举：对于有限离散不确定性，Jacquard可以精确枚举各种可能结果的概率，这在AI决策场景中极具价值。
技术实现
Jacquard目前是FriendMachine研究项目的一部分，版本0.1已实现端到端功能，但仍是研究原型。其技术栈包括：
- .jac表面语法：简洁紧凑
- OCaml检查器和CPS解释器
- 原生AOT后端：将内核编译为C代码
- 命令行工具和标准库（由Jacquard自身编写）
- Warp测试框架
行业意义
Jacquard的出现反映了AI编程语言领域的一种新思路：与其让AI适应人类语言，不如探索AI可能更偏好的语言结构。虽然目前仍是早期原型，但其对副作用管理、不确定性建模和可审计性的重视，为未来AI安全与可信编程提供了有价值的参考。
注：Jacquard 0.1并非生产级语言，其局限性在文档
LIMITS.md中有明确说明。当前支持Linux x86-64、macOS Intel和Apple Silicon平台。