MoonBit 更新
新增JavaScript后端
目前MoonBit已新增对JavaScript的支持并带来前所未有的性能提升,在JS后端实现了超出Json5近8倍性能的优势。更详细的介绍可以看一下这篇文章:IDEA研究院编程语言MoonBit发布JavaScript后端,速度提升25倍
如果你想自己体验一下,可以点击:https://github.com/moonbit-community/benchmark-202404/tree/master/bench_json5
现在MoonBit允许传递回调函数至FFI。但回调函数的参数和返回值类型目前只能是简单类型,如Int等。例子: // 使用示例:传递回调函数至外部
fn set_callback(f : () -> Int) = "ffi" "set_callback"
// 使用示例
fn use_callback() -> Int = "ffi" "use_callback"
test {
let i = { val : 0 }
set_callback(fn () {
i.val += 1
i.val
})
inspect(use_callback(), content="1")?
inspect(use_callback(), content="2")?
inspect(use_callback(), content="3")?
inspect(use_callback(), content="4")?
}
let f
export default {
// 必要外部接口:将闭包转换为JS函数。其他运行时根据语言不同实现方式不同
"moonbit:ffi": {
"make_closure": (funcref, context) => funcref.bind(null, context)
},
// 使用示例
"ffi": {
"set_callback": (func) => { f = func; }, // 设置回调函数
"use_callback": () => f() // 使用回调函数
}
}
修改显式实现 trait(extension method)的语法,允许显式写出要给哪个类型实现 trait // 为 `Trait` 的方法 `method` 提供默认实现
impl Trait with method(...) { ... }
// 给类型 `Type` 实现 `Trait` 的方法 `method`
impl Trait for Type with method(...) { ... }
// 带类型参数的情况
impl[X] Trait for Array[X] with method(...) { ... }
和之前的 fn Trait::method(...) 语法相比,新的语法允许显式写出实现 trait 的类型,签名信息更丰富、更清晰。由于写出了类型,编译器可以自动推断出方法的参数和返回值类型,不需要手动标注: trait MyTrait {
f(Self) -> Option[Int]
}
// 无需标注 `self` 和返回值的类型
impl MyTrait for Int with f(self) {
// 编译器能自动推断出返回值的类型是 `Option[Int]`
Some(self)
}
支持Bytes字面量 Bytes字面量b"..." 会将双引号内的ASCII字符串转换为Bytes类型,字符串内支持十六进制和八进制转义。 let b1 : Bytes = b"ASCII"
let b2 : Bytes = b"\xFF\o000"
{ x } 的二义性问题修复
现在{ x }会解析成只有一个x字段的struct,相当于{ x: x }。对于这种容易造成混淆的写法,编译器会发出警告。
IDE更新
插件新增moonbit.autoUpdate的选项控制是否开启自动更新的提示插件支持多后端开发
用户可以在vscode里选择不同的后端非当前后端的代码对比度会变低
构建系统更新
支持后端特定文件,这些文件的拓展名以 .wasm|wasm-gc|js.mbt结尾,例如:foo.wasm.mbt,foo.wasm-gc.mbt,foo.js.mbt。例如在 moon build --target js 中,只有普通的 .mbt 文件与 .js.mbt 才会参与构建。相应地,moon check|build|test、以及moonbitlang/core的链接修改为与后端相关。 moon.pkg.json 中的 ["link"]["js"]中新增 format 字段,用于指定输出的JavaScript模块格式,可能的值为 esm|cjs|iife,默认为 esm,
在esm模式下,使用export { x as y }语句导出在cjs模式下,使用exports.y = x导出在iife模式下,使用globalThis.y = x导出 moon.pkg.json样例:
{
"link": {
"js": {
"exports": [
"hello"
],
"format": "cjs"
}
}
}
moon test -u支持自动更新测试块中的多个inspect函数,以及添加 -limit 选项用于限制自动更新的最大迭代次数。
工具链更新
moonrun由wasmtime切换到v8,现在支持wasm-gc后端
moon new hello
cd hello
moon run main --target wasm-gc
moon info 的更新
支持对方法进行分组,方便对比不同数据结构的实现支持带标签的参数、默认参数和自动填充参数
type Map
impl Map {
debug_write[K : Debug, V : Debug](Self[K, V], Buffer) -> Unit
elems[K, V](Self[K, V]) -> List[V]
fold[K, V, T](Self[K, V], (T, V) -> T, ~init : T) -> T
from_array[K : Compare + Eq, V](Array[Tuple[K, V]]) -> Self[K, V]
// ...
}
参考文章
发表评论