国产编程语言 MoonBit 迈入全球前 20，参与生态共建单人可拿 7.5 万

2.3 万个包，累计下载超过 717 万次。截至发稿，MoonBit 官方包平台 Mooncakes 已收录 2,513 个模块、23,015 个包。今年 1 月，包数量约 2000个左右，累计下载量为 100 万。按两次公开数据估算，短短几月间，包规模增至约 11 倍，累计下载量约翻了七倍。

如果按照生态的数据统计，MoonBit 其实已经达到编程语言排行榜前二十的水平。

函数式编程与语言技术的权威国际大会 Lambda World 2026 ，最近也邀请 MoonBit 团队的核心开发者前去分享，并公开发声：「我们一直向西方探寻科技的未来，但现在，是时候把目光转向东方了。」

这是来自西方视角对中国原创核心技术非常高的评价，MoonBit 的进展表明，在编程语言这一基础软件领域，中国团队正在以自己的技术路线和工程成果，参与全球共建，并引起国际瞩目，当然这还需要时间来沉淀。

数字之外，这门国产编程语言的应用名单也在变长：前后端共享代码的全栈应用、接入本地模型的 AI 应用，以及核心代码用 MoonBit 编写的开源开发环境 SeekMoon，都已有公开案例可看。过去半年多，MoonBit 在语言、工具链和社区项目上的进展，开始有了更直观的呈现。

这些项目背后，也需要更多开发者参与。MoonBit 黑客松现已开放报名! 来为国产编程语言技术生态添砖加瓦，欢迎围绕工具库、数据处理、AI 应用和开发者工具，把真实需求做成开源软件。赛事支持新项目开发和已有项目的持续完善，提供月度项目支持，以及可叠加获得的季度、半年度和年度奖金，单人最高可获约 7.5 万元。

具体参赛方式与奖励安排见下方海报。

MoonBit 能做什么

截至发稿，MoonBit 稳定版编译器已更新至 v0.10.13（9 月 15 日发布）。1.0 预计在 2026 年内推出，具体节奏仍将结合测试进展和社区反馈调整。在此之前，一批与项目开发直接相关的能力已经落地。

当一个应用拆成前端、后端和共享模块，新增的工作空间支持可以统一检查、测试和管理内部依赖；新原生编译后端则从 Apple Silicon 上的 macOS 扩展到 x86-64 Linux，为调试构建提供更快的编译路径。

语言本身也在处理更细的工程问题。已稳定的 lexscan 支持流式文本扫描，适合处理持续到来的输入；新增的 errdefer 则允许开发者写明出错或异步任务取消时的清理动作。例如，网络连接尚未建立就失败，程序可以及时关闭已经创建的套接字，避免资源泄漏。

代码写完后的检查手段也更完整：0.9 引入形式化验证，开发者可以把关键逻辑应满足的条件写进代码，由 moon prove 检查；近期 QuickCheck 更新支持自动生成测试输入，并把发现的失败样例缩减得更小，便于定位问题。这些工具让开发者在同一套语言和工具链里完成实现、测试与验证。

1、部署云端智能体

美国云服务商 Golem Cloud 把 MoonBit 纳入了面向客户和开发者的 Agent Stack。在 Golem 1.5 中，MoonBit 获得一等支持，与 TypeScript、Rust、Scala 并列出现在官方快速入门文档中。开发者可以从 MoonBit 项目模板起步，完成 Agent 的创建、构建和部署。

Golem 面向的是需要长期运行、保存状态的智能体。比如，任务执行到一半遇到服务重启，恢复后还要接着处理。开发者用代码定义智能体的行为，状态持久化、故障恢复等基础工作则由运行时承担。对 MoonBit 开发者来说，这让编写智能体和将它持续运行起来，有了一套配套工具。

这次接入已覆盖智能体定义、HTTP 路由和远程调用客户端。SDK 会根据 MoonBit 源码中的标记，生成所需的接口实现和注册代码，减少手动接入工作。Golem 还在发布说明中特别提到，MoonBit 生成的 WebAssembly（Wasm）二进制文件体积小，有助于加快智能体实例的启动。

2、模型怎样学会一门新语言

除了被用来开发软件，MoonBit 还进入了海外软件工程研究者的实验。瑞士 USI 与西班牙塞维利亚大学的研究者以 MoonBit 和 Gleam 为对象，考察模型如何学习公开语料有限的新语言。相关论文已被 IEEE Transactions on Software Engineering 接收（https://arxiv.org/abs/2606.16827）。

研究者选择 MoonBit 和 Gleam，看中的是它们足够年轻，同时已有可供学习的文档和社区支持。在当时的实验中，模型直接生成代码时，大量失败来自语法错误。研究者尝试在提示词中补充示例、检索文档，再与使用代码和文档继续训练模型的方法进行比较。

以 Qwen 2.5 Coder 32B Base 为例，使用约 1,370 万 token 的 MoonBit 代码与文档继续预训练后，模型在 McEval-Hard 上的 pass@1 达到 25.86%。研究者再通过“指令迁移”，把对应指令模型的指令跟随能力迁入，得分进一步升至 32.60%；同阶段在 HumanEval、MBPP 上分别达到 50.71% 和 53.04%。pass@1 衡量单次生成通过测试的概率。

这项研究展示了 MoonBit 在 AI 编程支持上的一项优势：已有代码与官方文档能够有效支撑模型学习，让原本不熟悉这门语言的模型，通过专项训练显著提高函数级代码生成的正确率。换句话说 MoonBit 凸显了「AI 原生」编程语言的优势。

3、开发工具，也开始用 MoonBit 来写

MoonBit 也开始被用来开发编程工具。近期开源的 SeekMoon，核心由 MoonBit 实现，将智能体任务、代码浏览和修改审查放进同一个开发环境。

在此前介绍的中，MoonBit 还承担了智能体工具的实现：模型生成的程序及其依赖被编译为 Wasm 模块，运行时在文件访问、网络连接等 API 调用处检查权限。经由这条链路启动的 MoonBit 生态工具，也会继承相应的权限约束。开发者因此可以限定工具能够访问哪些资源；Git、npm 等原生程序则仍需由宿主沙箱约束。

一个直观的应用演示是，用 SeekMoon 调用 MoonBit 桌面框架 Proton，以及社区的 docx2html、mbtexcel 库，搭建两个简化的文档和表格应用。演示已在 macOS 上运行：文档支持编辑、常用快捷键和粗体、斜体；表格支持公式，相关单元格会随输入变化更新。从生成代码、编译修正到运行打包，开发过程使用同一套 MoonBit 工具链，社区库也由此组合成了可操作的桌面软件。应用演示：https://github.com/Milky2018/proton-gallery

SeekMoon 团队介绍过一个细节：给函数调用增加参数后，格式化可能把一行代码展开成五行。按行比较时，界面会显示一行删除、五行新增；Token Diff 则可以略过换行和缩进，突出新增的参数。审查者可以直接看到参数变化，而不必逐行辨认格式化造成的差异。

参考资料：

[1] Mooncakes：包生态与下载统计

https://mooncakes.io/

[2] SeekMoon：从 IDE 到 ADE

https://www.moonbitlang.com/blog/seekmoon-from-ide-to-ade

[3] MoonBit 官方更新：版本发布与工具链进展

https://www.moonbitlang.com/updates

[4] Golem 1.5：MoonBit 一等支持与 Agent Runtime

https://golem.cloud/blog/golem-1-5-the-agent-runtime/

[5] 新语言代码生成研究：No Resource, No Benchmarks, No Problem?

https://arxiv.org/abs/2606.16827

[6]

[7] 2026 MoonBit 九月黑客松官网：规则、工具包与报名入口

https://moonbitlang.github.io/Hackathon2026/