ETAS: An Effect-Typed Language for Agent Systems

ETAS 把模型调用、工具访问、记忆读写、人工审批、策略检查和轨迹记录建模为语言级 effect，并通过类型系统约束组合。这样，程序在执行前就能暴露未经授权的工具路径、遗漏审批或不可重放副作用。它尝试把 agent orchestration 从松散脚本提升为可静态分析的程序，但实际采用成本取决于现有工具生态能否映射到其 effect 模型。