MoonBit平台最新动态速递 Vol.22

-- 更新目录 --

1/ 添加问号操作符 

2/ 将关键字 interface 修改为 trait

3/ 修改死代码消除的逻辑

4/ 添加 moon doc 命令

5/ 添加内置类型 Result

6/ 添加是否自动启动 moon check 的选项

7/ 修复 derive(Show) 误报错误的问题

01
MoonBit 更新

1. 添加内置类型 Result

enum Result[T, E] {
  Ok(T)
  Err(E)
}

2. 添加问号操作符 

新增了问号操作符，用于简化错误处理：

fn may_fail() -> Option[Int] { ... }

fn compose_may_fail() -> Option[String] {
  let x = may_fail()?
  let y = may_fail()?.lsr(3)
  Some ((x + y).to_string())
}

问号操作符的语义是：如果 t? 中 t 的结果是 None，那么 t? 相当于 return None（直接跳出当前函数）。如果 t?中 t 的结果是 Some(x)，那么 t? 相当于 x。除了 Option 类型，问号操作符也能作用在 Result 类型上：

fn may_error() -> Result[Int, String] { ... }

fn compose_may_error() -> Result[Int, String] {
  let x = may_error()?
  let y = may_error()?
  if y == 0 {
    return Err("divide by zero")
  }
  Ok (x / y)
}

3. 将关键字 interface 修改为 trait

根据社区的反馈，将关键字 interface 修改为 trait，暂时保留对关键字interface的兼容：

4. 修改死代码消除的逻辑

对于顶层 let 在没有被使用的情况下，一律视作可以被删除，无论其是否有副作用。比如：

let a = 1       // will be removed
let b: T = f(a) // will be removed
fn init {
  ..            // a and b are not used
}

如果函数 f 会触发副作用，需要把 f(a) 这个调用放到 fn init { .. } 中以避免其被删除。

5. 修复代码格式化工具不能正确处理中文注释的问题

6. 修复不能正确处理中文全局标识符的问题

02
IDE 更新

1. 添加是否自动启动 moon check 的选项

VScode用户可以在settings.json中使用moonbit.autoMoonCheck.enable控制是否自动启动 moon check。

或者你也可以在设置中搜索moonbit：

2. 修复 derive(Show) 误报错误的问题

修复前：

修复后：

03
构建系统更新

1. 添加 moon doc 命令

添加 moon doc 命令，用于生成和预览文档。moon doc --serve会根据代码中的markdown注释生成文档，并在本地启动网页服务器。访问输出的链接即可查看效果。

官方平台账号，欢迎扫码关注

MoonBit

知乎｜@张宏波 / @MoonBit小红书｜MoonBit月兔
Twitter丨@MoonbitlangBilibili丨MoonBit月兔MoonBit用户交流群｜添加小助手moonbit_helper