20251014 MoonBit 月报 Vol.04

2025年10月14日 · 阅读需 4 分钟

对应moonc版本：v0.6.29

语言更新

新增async test 与 async fn main 语法, 支持异步测试与异步主函数。async fn main 和 async test 基于 moonbitlang/async 库，目前支持 Linux/MacOS 上的 native 后端。关于 MoonBit 异步编程的更多信息见moonbitlang/async 的文档和 GitHub 仓库。async test 声明的异步测试会并行地运行：
```
///|
async test "http request" {
  let (response, result) = @http.get("https://www.example.org")
  inspect(response.code, content="200")
  assert_true(result.text().has_prefix("<!doctype html>"))
}
```
新增lexmatch表达式(实验性特性)。提供了用正则表达式对StringView或BytesView进行模式匹配的能力。下面这个例子匹配2到4个连续的字符'a'以及紧随其后的字符'b', 并将连续的'a'捕获为变量a。更具体的使用方式可参考 moonbitlang/parser 中的 lexer.mbt 和 moonbit-evolution 中的 lexmatch 提案。
```
lexmatch x using longest {
  (("a{2,4}" as a) "b", _) => Some(a.length())
  _ => None
}
```
新增using语法，统一了 fnalias、traitalias 和简单 typealias。在导入类型和 trait 时，需要在名称前添加对应的关键字：
```
using @pkg {
  value,
  CONST,
  type Type,
  trait Trait,
}
```
另外，也可以使用 pub using 实现 re-export 的效果，将其他包的定义在当前包重新导出。未来，fnalias、traitalias 和简单 typealias 语法将会被废弃，给外部定义创建别名的功能会被 using 代替，给当前包的定义创建别名的功能由 #alias 属性代替
trait 中的方法支持可选参数：
```
pub(open) trait Reader {
  async read(Self, buf : FixedArray[Byte], offset? : Int, len? : Int) -> Unit
}
```
可选参数的默认值由每个 impl 各自决定，不同的 impl 可以设置不同的默认值，或者直接不提供默认值（此时可选参数在 impl 内部的类型会是 T?，None 表示用户没有提供这个参数）

支持使用 #alias 来重载 op_get 等运算符，相比 op_xxx 可读性更好。目前支持下列操作符：

// 对应之前的 `op_get`
#alias("_[_]")
fn[X] Array::get(self : Array[X], index : Int) -> X { ... }

// 对应之前的 `op_set`
#alias("_[_]=_")
fn[X] Array::set(self : Array[X], index : Int, elem : X) -> Unit { ... }

// 对应之前的 `op_as_view`
#alias("_[_:_]")
fn[X] Array::view(
  self : Array[X],
  start? : Int = 0,
  end? : Int = self.length(),
) -> ArrayView[X] { ... }

这里，实际的实现的名字（上面的 get/set/view）可以随意设置，只需要写上对应的 #alias，就可以完成运算符重载。我们推荐使用 #alias 代替 op_xxx 来进行基于方法的运算符重载（+ 等运算符是通过 trait 重载的，不受影响）

一些已经废弃较长时间的语法和行为被正式移除：
- 过去，用 fn meth(self : T, ..) 形式定义的方法，既是方法也是函数，可以直接当作普通函数使用。这一行为已经废弃较长时间，编译器会提供警告。现在，这一行为被正式移除。用 fn meth(self : T, ..)现在等价于 fn T::meth(self : T, ..)。未来，self 形式的方法定义本身也可能被废弃
- moon.pkg.json 中的 direct_use 字段被正式移除，由 using 代替

工具链更新

发布了wasm版工具链, x86 Darwin与 arm Linux用户可使用：https://www.moonbitlang.cn/blog/moonbit-wasm-toolchain
我们为构建系统开发了一个实验性的新版本 (RR)。这一新版本拥有更高的性能和更好的可维护性，将会完全替代 moon 现在的内部实现，欢迎大家试用并寻找问题。可以使用环境变量 NEW_MOON=1 或者命令行参数 -Z rupes_recta 启用。如果遇到任何问题，请发在 https://github.com/moonbitlang/moon/issues 上。
moon fmt支持对.mbt.md文件进行format
新增moon info --no-alias ，在生成pkg.generated.mbti 文件时不显示类型别名

标准库更新

为了应对潜在的 HashDos 攻击，Hash 的计算将会变为进程随机。目前 JS 后端已实现此修改。
ArrayView已改为不可变数据结构，用于统一对Array FixedArray ImmutArray取切片。

语言更新​

工具链更新​

标准库更新​

语言更新

工具链更新

标准库更新