AGI Hunt· davejh69·· 3 小时前AI 评分51
开发者开源 Menai:面向 LLM 安全执行的纯函数无 I/O 语言
开发者开源 Menai:纯函数无 I/O 语言,专为 LLM 安全执行而设计
AI 导读
开发者 davejh69 开源了为 LLM 设计的纯函数编程语言 Menai,它无 I/O、无状态突变,只做纯表达式计算,输入由外部工具框架传入、结果再返回,从语言层面挡住读写敏感文件、网络外发和 rm -rf 等危险操作。
来源:AGI Hunt · agihunt.info