MashinTalk

受控元编程将 Eval 重新归类为 AI 系统的受控效应

研究人员推出了一种名为受控元编程的新语言设计，它将从符号结构到可执行代码的转换视为一种受控效应，而不是无限制的原始操作。这种方法旨在调和当 AI 系统在运行时合成可执行代码（例如 LLM 生成程序或代理构建工作流）时发生的权限放大。该系统在允许执行之前分析程序的容量需求、策略合规性和资源估算，并使用一种名为 MashinTalk 的 DSL 来形式化这一过程。