夜雨聆风
MoonBit 大型软件合成挑战赛决赛暨 Meetup 0.9 版本专场回顾
4 月 25 日，MoonBit 大型软件合成挑战赛决赛暨 Meetup 0.9 版本专场顺利举行。本次挑战赛项目围绕软件合成与 AI 工程实践展开探索，最终国内 10 个项目入围决赛阶段，进行现场答辩与成果展示。同时，在众多海外的项目中，其中 7 个项目 通过筛选，进入了评选阶段。
本次活动围绕挑战赛成果与 MoonBit 0.9 技术进展展开，汇集项目答辩、技术分享与交流环节，从工程实践与语言设计两个维度，集中呈现了 MoonBit 在 AI 时代软件开发范式中的最新探索。
在大模型能力持续演进的背景下，软件工程正从“人主导编程”逐步迈向“人机协作开发”。本次活动不仅展示了 AI 辅助开发在实际项目中的落地情况，也进一步体现了 MoonBit 在构建 AI 原生开发工具链方面的系统性能力。
现场图片传送门：
直播回放：
01
MoonBit 0.9：AI 原生开发的演进路径
在开场演讲中，张宏波围绕 MoonBit 的发展路线与 0.9 版本进行了介绍。从基础设施建设到 AI 冷启动，再到 0.9 面向生产环境发布，MoonBit 正逐步构建起面向 AI 原生开发的技术体系。
在此基础上，分享结合路线图进一步展示了 MoonBit 在 1.0 阶段及生态规模化方面的目标。
同时，MoonBit 正在围绕 Agent 原生开发工具工程师方向进行招聘，面向社区开放相关岗位。
围绕这一发展路径，MoonBit 正持续推进语言与工具链能力演进，推动 AI 原生软件工程的落地。
-
招聘岗位：Agent 原生开发者工具工程师
-
投递简历：jichuruanjian@idea.edu.cn
02
决赛答辩：多方向实践中的软件合成探索
本次挑战赛决赛项目涵盖编译器工具链、开发工具、系统软件、游戏引擎及 AI 应用等多个方向。从语法解析器、终端沙箱，到轻量级 ORM、动画引擎与定理证明器，参赛项目在多样化技术场景中展开探索，体现出 MoonBit 在复杂系统构建中的适配能力。
在答辩环节中，选手围绕项目设计思路、核心实现与应用场景进行了系统展示。从整体情况来看，多数项目已具备较高完成度，部分作品已实现可运行原型，呈现出 AI 辅助开发与工程实践结合下的实际成果。
左右滑动查看更多
最终，共有6个项目获奖。其中，刘柯蓝的 Kwiver 交换图编辑器 与 罗宇航的 morm 轻量级 ORM 获得一等奖，在系统设计与工程实现方面表现突出。
Kwiver 是对交换图工具 quiver 的重构实现，支持带公式图表的高效编辑与导出，并面向学术与工程场景提供更清晰的结构化表达。借助 MoonBit 的类型系统与多后端能力，项目在可维护性与扩展性方面进行了优化，提升了整体使用体验。
morm 则是一个以纯 MoonBit 实现的数据库解决方案，旨在补齐生态中 ORM 方向的能力空白。项目支持多种主流数据库协议，基于异步模型构建，并提供迁移、事务等常用工程能力，在保持类型安全与透明性的同时，兼顾实际开发中的灵活性需求。
这些项目不仅展示了开发者对 MoonBit 工具链的理解与应用，也反映出 AI 在代码生成、模块构建与系统设计中的参与程度正在持续加深，软件合成逐步从概念走向可验证的工程实践。
03
技术分享：从代码生成到工程闭环
在技术分享环节，多位嘉宾围绕 MoonBit 0.9 与 AI 工程实践展开了深入探讨。
张钰《MoonBit 0.9 发布：AI 自动生成可证明的代码》
张钰丨 MoonBit 核心开发工程师
张钰的演讲围绕形式化验证在软件工程中的作用展开，并探讨了将验证能力纳入 MoonBit 语言设计的必要性。
他指出，相比测试只能覆盖有限样本，形式化验证能够提供确定性的正确性保障，对于被广泛复用的核心库尤为关键。在语言设计上，MoonBit 将契约作为原生特性引入，并结合大模型在结构化推理上的能力，降低了传统验证（如循环不变量）带来的使用门槛。与需要在不同系统间迁移验证结果的路径不同，MoonBit 强调“验证即发布”，使验证过的代码可以直接进入生产环境，从而推动验证能力向工程实践中的一等公民转变。
陈玉斌《前后端一体化开发体验》
陈玉斌丨 MoonBit 核心开发工程师
陈玉斌在《前后端一体的开发体验》中，基于 MoonBit 的WASM/JS/Native编译目标在不同应用场景的优势，介绍了 MoonBit 工具链在支持混合多编译目标的进展、mooncakes.io生态的发展现状、以及分享团队使用 MoonBit 同时编写前后端的实践。 实践使用了社区编写的 HTTP 框架编写后端、Rabbita 框架编写前端，在保持前后端分离的基础上抽取共同的类型和逻辑，减少重复代码和保证应用整体的一致性。
雷正宇《Selene：探索构建 AI 友好的游戏引擎》
雷正宇丨 MoonBit 游戏引擎开发工程师
雷正宇在《Selene：探索构建 AI 友好的游戏引擎》中，介绍了一款起源于 MGPIC 2025 竞赛、面向 AI 协同开发的游戏引擎探索。针对游戏开发中语料分散、交互复杂、视觉体验难以量化等问题，Selene 提出以代码优先（Code-first）为核心的设计理念，将游戏开发过程转化为结构化代码表达，使 AI 能够通过代码而非图形界面参与开发流程，从而提升理解与推理能力。
在此基础上，Selene 构建了面向 AI 的调试与验证工具链，通过确定性复现、世界快照与自动化测试等能力，使 AI 能够对生成结果进行自我校验，逐步形成从生成到验证的工程闭环。结合 MoonBit 在编译速度与类型安全方面的优势，该项目进一步探索了从自然语言到可运行游戏的端到端开发路径，展示了 AI 在复杂系统构建中的实际可行性。
04
现场交流
在正式分享与答辩之外，现场交流同样围绕 MoonBit 的实际应用与 AI 开发模式展开。不少讨论聚焦于 MoonBit 在真实工程中的落地场景，包括在复杂系统开发、工具链构建以及 AI 自动化流程中的应用方式。
现场氛围轻松而开放，也为开发者之间的深入讨论提供了更多空间。从具体项目实现到更宏观的软件工程趋势，相关交流延伸了技术分享中的核心议题。
05
结语
本次活动通过挑战赛决赛与技术分享的结合，系统呈现了 MoonBit 在 AI 原生开发方向上的阶段性成果。从具体项目实践到语言与工具链设计，软件合成正在逐步从单点能力走向工程化体系。
随着 AI 在开发流程中的参与不断加深，编程语言与工具链正在成为支撑人机协作的重要基础设施。MoonBit 也将持续围绕 AI 原生语言设计、工程自动化与 Agent 工具链等方向推进探索，与社区共同构建面向未来的软件工程体系。
