**为什么安全的 AI 需要编译时沙盒**

_Why Secure AI Needs Compile-Time Sandboxing_

> 运行时沙盒无法表达业务逻辑约束（如仅访问特定用户数据），而 Jo 语言的编译时沙盒通过类型化能力（capabilities）在编译阶段检查 AI 生成代码的权限。越权操作将导致编译错误，从而在部署前确保代码安全，适用于关键基础设施。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-products
- **发布时间**：2026-06-12 18:48（北京时间）
- **原文**：[打开原文](https://jo-lang.org/blog/2026-06-11-why-compile-time-sandboxing.html)