开发者开源 Menai:纯函数无 I/O 语言,专为 LLM 安全执行而设计
davejh69 · reddit · 2026-10-03
开发者发布开源编程语言 Menai——为 LLM 设计的纯函数式语言,无 I/O、无状态突变,只做纯表达式计算,编译和执行都快。核心思路:由外部工具框架传入全部输入、接收返回结果,从而强制执行安全规则——不能读写敏感文件、不能网络外发、不能执行 rm -rf。
Menai 起初作为作者开源 AI 环境 Humbug 的 LLM 工具,让模型完成容易出错的确定性计算(大数运算、数字母等),后扩展到文件与编辑器缓冲区转换:LLM 写简短的 lisp 风格表达式处理内容,危险操作由框架先检查。现已有约 20 个标准库模块,支持 zip/tar/BMP/PNG/gzip/JSON。
性能上,典型表达式编译只需几十毫秒(Python 写的优化编译器),执行速度接近 Python。演示:让 DeepSeek 用 Menai 编写 tar/gzip 标准库函数并自行调试,再解包一个 arj 归档并分析内容,64 秒、10 次工具调用、9 个不同程序,全程因语言设计安全而无需人工确认任何危险操作。
「编程与Agent」频道最新
- 被额度重置逼出奇招:开发者让 Codex 给应用加「加速按钮」 — Yamapama · 2026-10-03
- 让两个 AI 代码评审互相开战,一个模型揪出另一个的致命盲点 — adrianscottcom · 2026-10-03
- Nat Friedman 开源 Muse Gadgets:用 ESP32 自制硬件外设接入 Muse — andrew_n_carr · 2026-10-03
- Claude Code 自建记忆存 3 个月,作者称已胜过原生记忆 — RileyRalmuto · 2026-10-03
- Minerva 模型接入 Proto MCP,可结合 ChatGPT 复查 RNA 注释 — BrianHie · 2026-10-03
- 单图+舞蹈视频一键让角色动起来,Wan 2.2 免费工作流开源 — EzkaProductions · 2026-10-03