双周报Vol.65:新增is表达式、字符串构造和数组模式匹配增强、IDE模式匹配补全增强...多项技术更新！

MoonBit更新

新增 is 表达式

这个表达式的语法形式为 expr is pat，这个表达式为 Bool 类型，当 expr 符合 pat 这个模式的时候返回 true，比如：

rust 复制代码

fn use_is_expr(x: Int?) -> Unit {
  if x is Some(i) && i >= 10 { ... }
}

Pattern 中可以引入新的 binder，这个 binder 可以以下两种情况中使用：

e1 && e2 中当 e1 是个 is 表达式的时候，其中通过 pattern 引入的 binder 可以在 e2 中使用
if e1 && e2 && ... { if_branch } else { ... } 中 e1，e2 等由 && 链接的判断中的 is 表达式引入的 binder，可以在 if_branch 这个分支中使用

String 的构造和模式匹配

新增了使用 array spread 的形式构造字符串，比如：

rust 复制代码

fn string_spread() -> Unit {
  let s = "hello🤣😂😍"
  let sv = s[1:6]
  let str : String = ['x', ..s, ..sv, '😭']
  println(str) // xhello🤣😂😍ello🤣😭
}

其中 array spread 中的单个元素为 Char 类型的值，可以使用 .. 插入 String 或者 @string.View 类型的一段字符串，这个表达式等价于使用 StringBuilder 构建字符串。

支持了使用 array pattern 对字符串进行模式匹配，并且允许其与 array literal pattern 进行混用，比如：

rust 复制代码

fn match_str(s: String) -> Unit {
  match s {
    "hello" => ... // string literal pattern
    [ 'a' ..= 'z', .. ] => ... // array pattern
    [ .., '😭' ] => ... // array pattern with unicode
    _ => ...
  }
}

新增编译器警告

现在编译器会对无用的 guard 语句和 guard let ... else ... 中的 missing case 产生警告

rust 复制代码

fn main {
  guard let (a, b) = (1, 2)
  ^^^^^^^^^ ----- useless guard let
  println(a + b)
}

moonfmt 修复

修复 moonfmt 处理 async 相关代码的格式化错误。调整 ///| 标记的插入规则。

IDE 更新

支持了自动补全模式匹配中 missing case 的 code action

支持了空模式匹配中所有 case 的行内代码补全

修复 trait method goto reference 的 bug 。
修复了 guard let ... else ... 中引入的变量没有补全支持的问题，修复 else 分支模式匹配部分 pattern 的补全。

构建系统更新

修复 moon test 在 native 后端跳过 panic test 时的 bug。

文档更新

我们在 MoonBit 文档里面增加了错误代码的索引。目前很多索引的内容写的很简陋，我们会逐步补充内容，也非常欢迎大家做贡献！贡献 error code 可以参考这个issue。
MoonBit 语言导览支持中文。

双周报Vol.65:新增is表达式、字符串构造和数组模式匹配增强、IDE模式匹配补全增强...多项技术更新！

MoonBit更新

新增 is 表达式

String 的构造和模式匹配

新增编译器警告

moonfmt 修复

相关包更新

IDE 更新

构建系统更新

文档更新