MoonBit 周报 Vol.48：默认开启诊断信息渲染、test block 不再返回 Result 类型的结果

news2024/11/13 9:52:46

weekly 2024-07-08

MoonBit 更新

【重大更新】修改 array slice 的语法，从 arr[start..end] 修改为类似 Python 的 arr[start:end]。这是为了避免和接下来要支持的 cascade method call x..f() 产生语法冲突。旧的语法会在近期删除。
【Wasm后端重大更新】将 fn init 中的代码编译到 start section。
之前版本中的 fn init 和 fn main 代码块中的代码都会被编译到一个特殊函数中，这个特殊函数会被导出为 “_start” 函数，因此宿主环境需要调用 “_start” 函数来进行初始化和执行 main 函数
新版本中会使用 wasm 标准中的 start section 来存放 fn init 中的代码，从而在加载 wasm 模块的过程中完成初始化，这意味着 fn init 中代码的执行不再需要调用 “_start” 函数，只有需要执行 main 函数的时候才需要调用 “_start”.
【重大更新】test block 不再返回 Result 类型的结果。
现在的 test block 中使用错误处理机制对测试失败的情况进行处理，鼓励使用标准库中的 inspect 函数，和 @test 包中的 @test.eq 等辅助函数编写测试，比如：

test "unwrap should return value on Some" {
  let some : Int? = Some(42)
  inspect(some, content="Some(42)")!
  @test.eq(some.unwrap(), 42)!
}

支持使用 @pkg.C 来跨包使用构造器，比如如果在 @pkgA 中包含如下声明：

// pkgA
pub enum E1 { C1 } derive(Debug)

enum E1_hidden { C1 }

现在可以在另一个包中对 E1 的构造器 C1 直接进行使用，比如：

// pkgB
fn main {
  debug(@pkgA.C1)
}

当在同一个包中，如果出现重复的 public constructor，则会报错，比如：

pub enum E1 {
  C1
}

pub enum E2 {
  C1
  ^^ ------ There can be at most one public constructor with name C1.
}

标准库更新

迁移到新的错误处理机制。
迁移到无符号整数，移除了Int和Int64类型旧的compare_u、div_u、mod_u函数；调整了下面的API：
- Int32.trunc_double_u 、Int64.trunc_double_u
  更改为 UInt.trunc_double、UInt64.trunc_double
- Int64::extend_i32_u 更改为 UInt64::extend_uint
- Double::convert_i32_u、Double::convert_i64_u
  更改为Double::convert_uint、Double::convert_uint64

构建系统更新

moon version --all 现在会显示 moonrun 的版本信息。

$ moon version --all
moon 0.1.20240705 (0e8c10e 2024-07-05) ~/.moon/bin/moon
moonc v0.1.20240705+7fdd4a042 ~/.moon/bin/moonc
moonrun 0.1.20240703 (52ecf2a 2024-07-03) ~/.moon/bin/moonrun