本周官方重要动态 [official][edit]

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 中的面向对象编程。