AI 写代码越来越快，人却未必有时间逐行检查。Jacquard 想换一种分工：不只给旧语言加一个会写代码的 Agent（能自主调用工具的 AI），而是重做语言本身，让审阅者直接看清“这段程序能碰什么、结果有多确定”。例如，函数签名里的 {net} 会明示它可能访问网络；研究版运行时还会拒绝未经明确授权的外部操作。
它更具体的一步，是让同一份程序可以面对不同“世界”运行：真实网络、预设的假环境、过去流量的记录，或带概率的服务器状态。开发者只需替换负责回应外部请求的 handler（可理解为环境接口），不用改程序，就能测试“API 宕机时，AI 会怎么做”。Jacquard 还包含 OCaml 静态检查器、CPS 解释器、AOT 原生编译后端、标准库和 Warp 测试框架，说明它不只是语法提案。项目自述 0.1 已能端到端运行，但仍是研究原型，不能视为生产语言或操作系统级安全沙箱。它值得关注的，是把开发工具的方向从“让 AI 适应旧代码”推向“让代码天生适合 AI 生成、人类核验”。