Meetup

3 月 30 日，MoonBit 举办了 2025 年首期技术以AI 时代下的基础软件为主题的 Meetup，吸引了 40 余位场开发者和近 300 名线上观众参与。

活动中，四位 MoonBit 核心工程师带来了精彩技术分享：

• 李子烨深入解析了 MoonBit 的 LLVM 后端实现原理；
• 陈玉斌展示了基于 Rabbit-TEA UI 框架构建高效 Web 应用的方法；
• 鲍志远详解了 MoonBit 代码的语义渲染技术；
• 费浩祥分享了结合 tree-sitter 构建 Code Linter 的实践经验。

此外，特邀嘉宾 ShowmeBug & Clacky CEO 李亚飞则带来了 LL3 AI Coding 发展趋势的前沿洞察和实战案例。

本次活动不仅展示了 MoonBit 的最新技术进展，也为社区员提供了深入交流的平台， 现场观众提出的精准问题引发了广泛讨论，促进了开发者社区的活跃互动与技术共享。

OJ 竞赛

3 月 30 日，在技术分享的热烈讨论之后，迎来了 MoonBit OJ 编程竞技赛决赛颁奖典礼新年首场 Meetup 暨 OJ 编程竞技赛颁奖典礼。

MoonBit OJ 编程竞技赛自启动以来，吸引了众多开发者的积极参与，共有 300 多名开发者报名，经过激烈的初赛和选拔赛，最终有 200 名选手脱颖而出，9 位顶尖选手在决赛中进行了巅峰对决。

在决赛中，选手们在 3 小时内完成了 8 道高难度的编程题目，展现了他们在算法设计、逻辑推理和代码实现方面的卓越能力。经过紧张而激烈的角逐，最终确定了冠亚季军。

以下是本次比赛的获奖名单

MoonBit OJ 编程竞技赛不仅展示了开发者们的技术实力，也激发了他们对国产基础软件的热情。MoonBit 将继续为开发者们提供高质量的交流和竞技平台，推动技术生态的持续发展。 我们期待在下一次的社区活动中，看到更多开发者的精彩表现，共同见证 MoonBit 生态的不断进步和发展。

最佳硬科技前沿创新奖

3 月 29 日，第十二届开源操作系统年度技术大会（OS2ATC）在北京航空航天大学成功举办。OS2ATC 汇聚了来自清华大学、北京大学、蚂蚁集团、腾讯云、国家智能网联汽车创新中心、中移物联等一线高校、企业和科研机构的顶尖专家学者和行业领军人物。

MoonBit 以硬核技术突破重塑编程语言生态：

• Wasm 原生加速编译链与 LLVM 后端架构，代码执行效率提升数倍，赋能云计算、边缘计算及 AI 场景；
• 深度支持 RISC-V 指令集；
• 产学研贯通，落地北京大学等课程体系；

通过技术实践验证了硬科技“从学术走到产业”的标杆价值，为云原生与智能计算时代打造核心基石，荣获最佳硬科技前沿创新奖！

WASM I/O 2025

本周，MoonBit 亮相巴塞罗那 WASM I/O 大会，并进行技术分享。本次为中国开发者平台首次登上这一国际技术峰会，展示了本土开源力量在 WASM 生态的创新成果。活动中，MoonBit 负责人张宏波 发表了主题演讲 《MoonBit & WebAssembly》。社区对 MoonBit 的表现给予了高度评价：Kotlin/Wasm 作者 Zalim 在社交媒体上表示：“MoonBit 在 WebAssembly 平台实现了精彩的成果”，对 MoonBit 在 WASM 方向的技术成果给予认可。ZivergeTech & Golem Cloud 公司 CEO John A De Goes 也表示：“与张宏波在 WASM I/O 见面后，我对 MoonBit 未来更加充满期待！”

Mooncakes 开源

由 MoonBit 官方的 Yoorkin 领头，Lampese 东灯 参与建设新版 mooncakes.io 网站已经开源在 moonbitlang 组织内。该网站采用纯 MoonBit 基于 rabbit-tea 框架与 Tailwind CSS 构建，是采用 MoonBit 开发多网页应用的一个优秀示例。而且官方的 mooncakes.io 已经更换了这一版的实现。

值得注意的是这次的新版 mooncakes.io 采用了来自社区的两个仓库 fuzz-match 与 lazy，分别用于搜索和惰性求值。

本周 illusory0x0 猗露 在 Community-Blog 编写了 MoonBit 实现树的先序遍历，MoonBit 实现外部迭代器和 MoonBit 实现内部迭代器三篇文章。第一篇文章作为前置，后两篇文章作为正文，从头开始介绍迭代器并且阐述了两种迭代器的区别，还分别用 MoonBit 实现了算法和两种迭代器。

本周 CAIMEOX 在 Community-Blog 编写了一篇文章 Derive Iteration from Recursion，从例子入手详细探讨了 defunctionalize 的概念及其在 MoonBit 的实现。

Meetup 成都站

4 月 26 日，MoonBit 成功在四川成都集火实验室举办 Meetup！本次活动聚焦AI 时代下的基础软件，邀请了多位行业专家，共同探讨前沿技术与发展趋势。

活动议程精彩纷呈，四位专家带来了精彩的技术分享：

• 张宏波（IDEA 研究院首席科学家 & MoonBit 团队负责人）剖析国产编程语言现状及 AI 潮流下的机遇；
• 马发俊（麒麟软件教授级高工 & openKylin 社区生态合作负责人）带来面向 AIPC 的智能操作系统技术及实践分享；
• 费浩祥（MoonBit 核心工程师）讲述 MoonBit 在 AI Agent 上的创新优势；
• 董鹏飞（重庆唯哲科技创始人 CEO）探索人工智能背景下编程语言的未来方向。

本次活动不仅展示了 MoonBit 的最新技术进展，也为社区成员提供了深入交流的平台，现场观众提出的精准问题引发了广泛讨论，促进了开发者社区的活跃互动与技术共享。

MoonBit 官方在 4.21 发布了一次官方周报，主要聚焦在语言更新方面：

• async 函数采用新语法 f!(..)，原 f!!(..) 将触发警告。
• 运算符重载迁移至基于 trait，旧方法仍可用但会收到编译器警告，迁移仅需将 op_xxx 改为对应 trait 的 impl。
• trait 方法默认实现：新增 = _ 标记，提升源码可读性。
• String 类型转换：现支持隐式转为 @string.View，并恢复 [:] 取完整 view。
• Core API 改动：@string 包参数类型迁至 @string.View，返回值类型相应调整。
• 工具链优化：IDE 支持 .mbt.md 文件 debug 断点设置，moon.mod.json 新增构建脚本字段。

MoonBit 携手 Elm 架构，重塑 Web 开发范式

在前端开发领域，MoonBit 语言正掀起一股革新浪潮。受 Elm 纯函数式架构启发，MoonBit 打造出 Rabbit-TEA 前端框架，凭借单向数据流与强类型检查，彻底告别运行时异常，让 Web 应用开发既简洁又健壮。

MoonBit 凭借模式匹配、不可变变量等特性，大幅优化编码体验。与 JavaScript 对比，MoonBit 代码精简且逻辑清晰，尤其在复杂业务处理时优势尽显。其编译器支持多后端输出，涵盖 JavaScript、WebAssembly 及 native，应用前景广阔。

Rabbit-TEA 采用经典 TEA 架构（Model、View、Update），通过消息驱动应用状态更新。开发计数器应用只需定义状态模型、消息类型和更新逻辑，框架自动处理视图更新，开发效率成倍提升。其 HTML EDSL 通过类型提示避免字符串滥用，减少潜在错误。

在副作用管理上，Rabbit-TEA 借鉴 Elm 的 Cmd 类型封装外部交互操作，确保运行时状态一致性。无论是 HTTP 请求还是浏览器 API 调用，都能通过 Cmd 安全管理。

得益于 MoonBit 的全局 DCE 优化，Rabbit-TEA 应用体积极小，计数器应用仅 33KB，性能优于主流框架。MoonBit 团队已用其重写包管理网站 mooncakes.io，并持续探索更多前沿特性，如服务端渲染与时间旅行调试。

Web 开发新时代已至，MoonBit 与 Rabbit-TEA 为前端开发注入全新活力！

• Trait 的实现方式将只支持通过  impl T for A ...  对类型  A  显式实现  trait T ；
• 新增语法糖：允许使用  _  作为待定参数占位符以简化匿名函数的创建；
• fnalias  支持给类型和  trait  的方法创建别名；
• 移除了所有 pragmas，未来将全面使用 attributes 替代;
• 实现了 #internal attribute，用于为 public API 的外部用户提供警告;
• 对于  loop  中可能产生歧义的 loop argument  的使用方式新增了警告;
• 支持了从  Array  到  ArrayView  类型、Bytes  到  @bytes.View  类型的隐式类型转换;
• moon  支持  bench  子命令，用于执行基准性能测试。

• 开源之夏活动介绍：开源之夏是由中国科学院软件研究所“源软件供应链点亮计划”发起并支持的暑期开源活动。该活动联合国内外开源社区，为全球高校学生提供开源项目任务。学生能在项目资深开发者指导下参与开源项目建设，提升技术能力、了解开源文化，成功完成项目还可获得现金奖励与荣誉证书。
• MoonBit 项目介绍
  • 项目一：基于 MoonBit 的 Qt 绑定探索与实现；
  • 项目二：基于 tree-sitter.mbt 进行结构化查找/替换的 Visual Studio Code 插件；
  • 项目三：基于 MoonBit 和 TEA 架构的 UI 组件库。
• 参与方式及时间节点
  • 参与方式：学生登录开源之夏官网，进入 MoonBit 项目列表，与导师沟通并按要求提交项目方案，通过评审后正式参与。
  • 时间节点：5 月 9 日起可挑选项目、沟通并准备申请材料，6 月 9 日 18:00 报名及提交申请书截止；6 月 10 日 - 6 月 29 日项目申请审核；6 月 30 日中选公示；7 月 1 日 - 9 月 30 日项目开发；10 月 1 日 - 10 月 31 日结项审核（PR/MR 合并与导师审核）；11 月 1 日 - 11 月 8 日组委会成果审核；11 月 9 日结项公示；11 月年度优秀学生评选。

• MoonBit 地区大使是连接技术与社区的核心桥梁。作为 AI 时代新一代编程语言 MoonBit 的官方代表，你将立足所在区域（高校、技术社区或城市），最大化发挥你的影响力——推广 MoonBit 的技术理念、激活区域开发者群体、引领高质量的技术交流与共创。
• 招募流程与福利：
  • 流程：报名 → 简历审核 → Package 提交审核 → 面试 → 签约 → 培训上岗。
  • 福利：官方认证大使证书、持续培训与支持、丰厚薪酬与激励、参与 MoonBit 核心生态建设、拓展前沿人脉与影响力。

Moonbit 官方在 5 月 19 号发布了一次官方周报，主要进行了语法更新和工具链更新：

• ..调用链末尾自动丢弃值语义变更：在  ./..  调用链末尾的最后一个  ..  以后会自动丢弃它的值，但这也意味着直接使用  x..f()  的值的用法将会被废弃，需要显式保存 x 。
• 字段级文档注释支持：枚举构造器和结构体的字段支持单独的文档注释，在补全时会显示相应的文档。
• 视图类型 @bytes.View 和 @string.View 在 C 和 wasm1 后端现在会被编译成值类型，减少内存分配，性能有较大提升。
• 特效函数调用现支持样式高亮：vscode 插件支持 semantic token , 会对有 effect 的函数调用使用不同的样式高亮。
• 实验性支持虚拟包，接口与实现解耦：构建系统支持 virtual package 特性，通过将一个 package 声明为虚拟包，定义好一套接口，用户可选择具体使用哪一份实现，如不指定则使用该虚拟包的默认实现。
• 单文件测试调试功能上线：支持对于单个 .mbt 和 .mbt.md 文件的 test 和 debug codelen。

MoonBit 插件双更新！ MoonBit 编程语言实现重大突破，现已全面支持 JetBrains 开发环境与 LeetCode 答题平台，打通了从工程实战到算法训练的学习与实用闭环。

• MoonBit ❤ LeetCode MoonBit 社区用户 A23187开发的轻量级 Tampermonkey 脚本插件，让 LeetCode 编辑器新增 MoonBit 语言支持。安装后，能在 LeetCode 平台选择 MoonBit 编写、调试与提交，支持全部题库。得益于 MoonBit 的 JavaScript 后端能力，运行效率超原生 JavaScript 8 倍以上，妥妥的高效体验。
• JetBrains 插件持续升级 MoonBit 在 JetBrains 插件市场持续发力，适配 IntelliJ IDEA、CLion 等主流 IDE，语法高亮、智能补全、文件结构导航等功能均已实现，且还在不断更新迭代，为开发者提供更便捷、高效的 coding 体验。

MoonBit 推出虚拟包特性，开发灵活性大幅提升！ MoonBit 编程语言又添新特性 —— virtual package！通过将包声明为虚拟包，用户可选择具体实现，若不指定则使用默认实现，极大地分离了接口与实现，开发灵活性直线上升。

• 注意当前仍处于实验性状态。

MoonBit 官方开启了新活动 Pearls 征稿活动，具体可以查看活动链接。而且已经发出了第一篇 Pearls 文章 使用 MoonBit 编写 Pratt 解析器。文章内容在 Github 仓库 moonBit-pearls 中同样可以查看。

MoonBit 亮相美国，发表主旨演讲！🌍 2025 年 6 月 13 号，Moonbit 在国际顶级编程大会 LambdaConf 发表了关于异步编程的主旨演讲，更将与 Jai 编程语言创始人、独立游戏大师 Jonathon Blow 等技术大咖同台交流。

特别值得一提的是：GolemCloud 创始人 John A De Goes 在 WASM I/O 上盛赞 MoonBit，并表示将在即将到来的 LambdaConf 黑客松中亲自使用 MoonBit！

MoonBit 创始人张宏波老师在 Github 开源了演讲的相关内容 moonbit-lambdaconf 仓库中。

Moonbit 官方在 6 月 16 号发布了一次官方周报，本次是 beta 版本之前的最后修改，意味着语法即将进入稳定阶段。更新内容有：

• 用于表示错误的 ! 语法被替换为关键字 raise，用于表示错误。

• 定义错误类型的语法 type! T .. 改为 suberror T ..，通过格式化工具可以自动完成迁移。

• 对于函数，f!(..)/f?(..) 的语法即将被废弃，函数的类型参数语法也从 fn f[..](..) 改为 fn[..] f(..)。

• typealias/traitalias 语法更新：改用 as 替代 =，这一改动也可以通过格式化工具自动完成迁移。

• 废弃多参数 loop，改用元组参数以保持与 match 一致。类似多参数的 loop 需求应该替换为元组，该改动保证了模式匹配的一致性。

• 显式实现特征（Trait）新规：即使有默认方法也需 impl。如果没有需要提供自定义实现的方法，可以用 impl Trait for Type 来表示 “给 Type 实现 Trait，但所有方法都用默认实现”。

• 废弃外部类型 impl 的点调用，改用本地方法扩展。该改动比较复杂，我们引用周报原文： 之前，给外部类型的 impl 可以在当前包内用 . 调用。但这一功能是不重构安全的：上游新增方法会改变下游代码的行为。因此，我们决定废弃这一行为。作为替代，MoonBit 支持了局部地给外部类型定义新方法的功能，语法和普通的方法定义一样。这些给外部类型定义的方法有如下特点：

  • 它们不能是 pub 的。这是为了保证跨包协作时不会产生冲突。
  • 如果上游（类型自身所在的包）已经定义了同名方法，编译器会报一个警告。
  • 在解析方法调用时，本地方法的优先级最高。 这一修改之后，x.f(..) 的解析规则变为（优先级从高到低）：
  • 本地的方法
  • x 的类型所在的包的方法
  • x 的类型所在的包的 impl

• Json 字面量自动调用 ToJson::to_json，编写更便捷。

  let x = 42
  // 之前
  let _ : Json = { "x": x.to_json() }
  // 现在
  let _ : Json = { "x": x }
  

• 虚拟包支持抽象类型：接口声明，多实现可自定义类型。

• 新增保留字警告：未来可能成为关键字。

• 新增了箭头函数语法 (..) => expr，能极大简化简单匿名函数：

  test {
      let arr = [ 1, 2, 3 ]
      arr
      .map(x => x + 1) // 只有一个参数时可以省略括号
      .iter2()
      .each((i, x) => println("\{i}: \{x}"))
  }
  

• 矩阵函数功能被废弃，以精简语法。形如 fn { .. => expr } 的矩阵函数可以改为箭头函数，其他矩阵函数应改为显式的 fn 和 match。

• 之前，可以使用 xx._ 语法来将 new type 转化为其实际表示。但这一语法和 partial application 语法（_.f(..)）过于相似，有视觉歧义。因此，xx._ 语法被废弃，相应的，编译器会给每个 new type 自动生成一个 .inner() 方法，代替原本的 ._。这一改动可以通过格式化代码自动完成迁移。

• 对于一些比较模糊/不够广为人知的运算符优先级组合，例如 << 和 +，MoonBit 现在会产生警告。手动或者通过格式化代码加上括号来明确计算顺序即可消除警告。

• 新引入了 letrec 和 and 关键字用于声明 local 互递归函数，比如：

  fn main {
      letrec even = fn (x: Int) { ... } // anonymous function
      and odd = x => ...                // arrow function
  }
  

  等号右手侧只能是函数形式的值，比如匿名函数或者箭头函数，之前使用 fn 声明的隐式互递归写法会被 deprecated，不过自递归函数依然可以用 fn 进行声明。

• fnalias 不再能用于创建非函数值的别名。对于非函数类型的值，可以用 let 来创建别名。

• 利用新的错误多态功能，标准库中的许多高阶函数如 Array::each 现在可以接受带错误的回调函数了。

• main 包测试支持：moon test 运行测试，moon run 执行主程序（此前 main 包中禁止编写测试）。

• IDE codelens 支持运行文档中的测试。

• moon test 和 moon check 现在默认会包含文档中的测试。

MoonBit 在 2025 年 6 月 13 日至 15 日，分别先后亮相两大重量级科技盛会：香港科技大学（广州）主办的第三届 INNOTECH 创科嘉年华，以及 msup（麦思博）主办的第十二届 GIAC 全球互联网架构大会。在 GIAC 大会上，IDEA 研究院基础软件中心首席科学家、MoonBit 平台负责人张宏波在本次大会中带来了《AI 编程在 MoonBit 上的垂直整合》主题演讲。

2025 年 6 月 18 日，CSDN 官方公众号发表了一篇题为《20 年磨一剑，国内首个工业级编程语言进入 Beta 版本》的文章，介绍了 MoonBit 的最新进展。同时也标志着 MoonBit 正式进入 Beta 版本。

MoonBit 官方的 Pearls 系列文章更新了第二篇文章 《MoonBit Pearls Vol.02：MoonBit 中的面向对象编程》，由 MoonBit 官方同学刘子悦执笔，通过一个生动的 RPG 游戏开发的例子，带领读者探索了 MoonBit 中的面向对象编程。

MoonBit 官方开源了官网 moonbitlang.cn 的源代码 website，未来社区成员可以参与 MoonBit 官网的建设了。

MoonBit 官方创建了一个新仓库 moonbit-evolution，后续 MoonBit 所有用户可见的改动，都会在仓库中说吗，使得 MoonBit 的发展更加透明，用户可追踪。用户也可以在仓库中讨论和提出提案，象征着 MoonBit 的社区写作文进入新阶段。

MoonBit 官方在 6.24 发布对 MoonBit 编程语言创始人张宏波的访谈，围绕 MoonBit 的设计理念、发展历程、核心特点及行业思考展开，核心内容如下：

• MoonBit 简介

  • 基本定位：一门全新的通用编程语言，可用于开发网站、APP、服务器后台等各种应用，2025 年 6 月 18 日发布 Beta 正式版，正从“实验性技术”演进为适用于企业正式场景的工具。
  • 核心理念：“AI 原生”，并非要成为 AI，而是创造一门能让 AI 用起来最得心应手、最不容易出错的语言，从语法、类型系统、错误处理机制等设计之初就深度考虑 AI 的理解、生成和验证代码需求，解决 AI 编程中代码可维护性等痛点。

• “AI 原生”的体现及设计决策

  • 设计理念影响：不再过度强调语法节省字符，因未来大部分代码由 AI 生成，节省人类打字时间意义不大；在语言设计空间中找到平衡点，介于自由的 Python、JavaScript 和严格的 Rust、Lean 之间，既保证代码可靠性，又不让类型系统超出 AI 能力边界。
  • 具体设计：
    • 使用let x = 3而非类似 Go 语言的x := 3，let关键字为 AI 提供明确的“新变量声明”信号，减少歧义。
    • 提供原生的异步与错误处理机制，相较于 Python 更自然、零语法负担，且编译期能追踪错误传播路径。
    • 拥有强大的静态类型系统，为每个代码包自动生成形式化“签名”（MBTI 文件），简化代码理解和维护；注重“局部化”设计，限制代码修改的影响范围。

• 与 AI Coding 工具的对比及团队 AI 使用情况

  • 对通用 AI 编程工具的评价：
    • 团队使用 Cursor、Copilot 等工具，认为小团队更有活力，如 Cursor 体验优于 Copilot。
    • 这类产品技术护城河不高，实时补全代码更多是“情绪价值”，基于对话的 Agent 技术门槛不算特别高，且过度依赖存在“卡脖子”风险。
  • 团队 AI 使用：
    • 高强度使用 AI，AI 辅助提升工作效率，如一天提交多个 PR。
    • 开发自己的 AI 编程 Agent，利用对 MoonBit 代码结构的深度理解，可并发修复多个 Bug 等，比通用工具更高效。

• MoonBit Beta 版及生态策略

  • Beta 版意义：
    • 语言特性丰富，覆盖工业级开发核心需求。
    • 语法进入稳定期，承诺不轻易进行破坏性修改。
    • 建立更正规的社区沟通机制，通过公开 RFC 流程与社区沟通。

• 生态冷启动策略：通过支持编译到 C 代码，实现与 Python 生态的复用，可直接调用 Python 成熟库，提供渐进式迁移路径。

• 创始人张宏波的技术历程

  • 2009 年本科毕设开发“悟空”动画编程语言，硕士研究“元编程语言”。
  • 中断宾夕法尼亚大学博士学业，加入彭博社维护 OCaml 编译器，业余开发的 BuckleScript（后演进为 ReScript）被 Facebook 深度使用，2017-2022 年远程为 Facebook 维护该项目。
  • 2022 年加入 IDEA 研究院，启动 MoonBit 项目。

• 对行业的思考与建议

  • 商业模式：短期为大客户提供授权和服务；长期目标是打造代码交付云平台，向用户交付可直接使用的软件服务。
  • 国内技术环境：认为缺少信心和“伯乐”，希望 MoonBit 成功后能成为“伯乐”，带动产业链发展。
  • 对开发者建议：高强度使用 AI 工具，理解其能力边界；鼓励开发者尝试 MoonBit，尽早参与其生态。
  • 对投身基础技术领域年轻人的建议：做好打持久战的准备，先在产业界充分历练。