跳到正文
原文
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