更新目录
· 【Breaking Change】：Trait 实现方式将发生改动
· 允许用 _ 作为待定参数占位符以简化匿名函数的创建
· fnalias 支持给类型和 trait 的方法创建别名
· moon 支持 bench 子命令，用于执行基准性能测试。
MoonBit 更新
1、【 Breaking Change 】⚠️
Trait 的实现方式将发生改动，未来将只支持通过 impl T for A ... 对类型 A 显式实现 trait T；
仅对 A 实现同签名的方法不再视为对 A 实现了 trait T。该改动之前已在编译器中提供警告，近期将会正式生效。
2、新增语法糖
允许使用 _ 作为待定参数占位符以简化匿名函数的创建，如 f(a, _, c, _) 等效于 fn(b, d) { f(a, b, c, d) }。目前支持的使用场景有：
- • Constructor(args, _), lhs |> Constructor(args, _)
- • function(args, _), lhs |> function(args, _)
- • object.method(args, _)（暂不支持 _.method(args)）
3、fnalias 支持给类型和 trait 的方法创建别名
fnalias 支持给类型和 trait 的方法创建别名：
trait Floating {
sin(Self) -> Self
cos(Self) -> Self
}
// 接下来可以直接使用 `sin` 和 `cos`，不需要加 `Floating::`
pub fnalias Floating::(sin, cos)
4、移除所有 pragmas
移除了所有 pragmas，未来将全面使用 attributes 替代。
5、实现 #internal attribute
实现了 #internal attribute，用于为 public API 的外部用户提供警告：
/// in moonbitlang/core
#internal(unsafe, "message")
pub fn unsafe_get(args){...}
/// in user/module
fn main {
unsafe_get(...) // warning!
}
用户可以在 moon.pkg.json 中通过配置 alert 选项来关闭这些警告。
6、关于 loop argument 的使用方式新增警告
对于 loop 中可能产生歧义的 loop argument 的使用方式新增了警告：
fn main {
let a = "asdf"
loop a {
[k, .. b] => continue a // warning
[k, .. b] as a => continue a // suggested
[] => ()
}
}
7、类型的隐式类型转换
支持了从 Array 到 ArrayView 类型、Bytes 到 @bytes.View 类型的隐式类型转换
工具链更新
1、moon 支持 bench 子命令
moon 支持 bench 子命令，用于执行基准性能测试。
- 使用带 b : @bench.T 参数的 test 块创建基准测试。可对计算结果使用 b.keep() 防止无副作用的计算被编译优化移除：
fn fib(n : Int) -> Int {
if n < 2 {
return n
}
return fib(n - 1) + fib(n - 2)
}
test (b : @bench.T) {
b.bench(fn() { b.keep(fib(20)) })
}
- 使用 moon bench 运行基准测试：
$ moon bench
[..]
time (mean ± σ) range (min … max)
21.67 µs ± 0.54 µs 21.28 µs … 23.14 µs in 10 × 4619 runs
更详细的使用说明参见：
docs.moonbitlang.com/zh-cn/lates…
