基于语言的智能体控制（LBAC）：用类型检查约束 AI 智能体行为

论文提出语言智能体控制（LBAC）编程模型，要求智能体生成在脚手架代码上下文中类型良好的程序，不安全程序在执行前即被类型检查器拒绝，使访问控制、信息流等策略统一覆盖智能体生成行为与开发者代码。智能体仍可执行无副作用计算并递归调用子智能体，子智能体保留完整工具访问权但受同等或更严格策略约束。论文以文件系统能力实现 I/O 沙箱、数据溯源和信息流控制三个案例展示该模型。