近日，一款名为Jacquard的全新编程语言在Hacker News上引发热议。其开发者将其定位为“AI编写、人工审查的代码语言”，旨在从语言层面解决AI生成代码带来的信任、可维护性与安全性问题。
在GitHub Copilot、Codex等AI编码助手日益普及的今天，开发者正面临一个尴尬的现实：AI生成的代码通常能通过功能测试，却常常隐藏着逻辑漏洞、安全问题，或是难以维护的“技术债务”。传统的代码审查流程往往流于形式，而Jacquard试图改变这一局面——它不仅仅是一套工具或库，而是一种全新的编程语言，其核心语法和类型系统天然支持“注明代码来源、强制人工审查、记录审查历史”等功能。
据项目介绍，Jacquard在基础语法上借鉴了Rust和TypeScript的强类型特性，但增设了三个关键概念：生成源标注、审查状态合约以及意图记录。例如，开发者可以用 @ai 或 @human 关键字标记每一行代码或每个函数块的生成来源。当AI生成一段代码后，编译器会要求必须附上一个经过数字签名的人工审查记录，否则无法通过编译。这种设计将“人工把关”从流程上的可选环节变成了语言层面的强制性要求。
此外，Jacquard还提供了一种特殊的“审查合约”（Review Contract）机制。审查者可以在合约中声明自己已理解代码逻辑、已检查安全风险，甚至可以详细描述审查的边界条件。这些信息会永久性地记录在代码的元数据中，并成为版本控制系统的一部分。若后续发现代码存在问题，追溯责任与改进方向将变得极为清晰。
与现有“AI编码+PR审查”模式相比，Jacquard的独特之处在于将审查过程内建在语言之中。目前在GitHub上常见的流程是：AI生成代码 → 开发者提交PR → 同事审查。但这套流程高度依赖审查者的自觉性和组织规范，很容易被跳过或敷衍。而Jacquard的编译器会直接拒绝未经过合法审查的代码，从根本上杜绝了AI代码“无监管”进入生产环境的风险。
当然，Jacquard也面临不少质疑。一些开发者认为，学习一门新语言的门槛远高于使用插件或扩展；另一些人则指出，在快速迭代的初创项目中，强制审查可能降低开发效率。但项目团队回应称，Jacquard的目标并非取代所有现有语言，而是瞄准那些对代码质量、合规性和审计有严苛要求的领域，比如金融系统、自动驾驶、医疗软件等。在这些场景中，因AI代码引入的潜在故障可能造成严重后果，强制人工审查的成本远低于事后修复的成本。
目前Jacquard仍处于原型阶段，其GitHub仓库提供了简单的示例和编译器。开发者表示，后续会重点完善与VS Code及其他主流IDE的集成，并计划推出一个“审查市场”，让具备特定领域知识的专家可以为AI生成的代码提供认证审查服务。
从更宏观的视角看，Jacquard的出现反映了编程语言设计正在从“只关注机器执行效率”转向“关注人机协作流程”。当AI越来越深入地参与代码编写，如何让人类保持对代码的最终控制权，将成为一个重要的工程学课题。Jacquard或许只是这一趋势的先行者，但它所倡导的“默认透明、强制审查”理念，已经在开发者社区中激起了有价值的讨论。未来，我们可能会看到更多语言或工具朝着这个方向演进——让AI写代码，但让人类始终为代码负责。