30 秒判断：MoonBit 适不适合你？#

MoonBit 是什么？#

由 IDEA 研究院（张宏波团队，BuckleScript/ReScript 核心作者）主导的为 WebAssembly 优化的多范式语言。核心定位：

一句话：MoonBit 解决的是“一段业务逻辑，要安全、很小、很快地跑在沙箱里”。

为什么需要它？#

WASM 场景的难点往往不是“能不能跑”，而是“跑起来的成本够不够低”：

• 边缘函数按请求启动，冷启动慢 = 延迟高
• Chrome MV3 Service Worker 频繁被回收，产物越小恢复越快
• AI 插件市场不希望下发大 runtime
• 沙箱里的用户自定义逻辑，类型安全比“写起来最快”更重要

现有选择各有代价：

MoonBit 的位置：比 Rust 更容易上手，比 Go 更轻，比 AssemblyScript 更适合复杂类型建模。

三分钟跑起来#

curl -fsSL https://cli.moonbitlang.com/install/unix.sh | bash
moon new hello && cd hello
moon run cmd/main

或者直接打开 在线 Playground。VS Code 用户建议装 MoonBit 官方插件。

四个核心能力#

enum Tree[T] {
  Leaf
  Node(Tree[T], T, Tree[T])
}

fn[T : Compare] Tree::insert(self : Tree[T], x : T) -> Tree[T] {
  match self {
    Leaf => Node(Leaf, x, Leaf)
    Node(l, v, r) =>
      match x.compare(v) {
        0 => self
        n if n < 0 => Node(l.insert(x), v, r)
        _ => Node(l, v, r.insert(x))
      }
  }
}

实战示例：边缘函数 JSON 校验#

模拟一个 Cloudflare Workers / Vercel Edge handler：解析用户信息、校验、返回 Result。

struct SignupReq {
  email : String
  age : Int
}

enum SignupError {
  InvalidEmail
  Underage(Int)
  MalformedJson(String)
}

fn[T] parse_json(_body : String) -> Result[T, String] {
  Err("invalid json")
}

fn validate(req : SignupReq) -> Result[SignupReq, SignupError] {
  if !req.email.contains("@") {
    Err(InvalidEmail)
  } else if req.age < 18 {
    Err(Underage(req.age))
  } else {
    Ok(req)
  }
}

pub fn handle_signup(body : String) -> Result[SignupReq, SignupError] {
  parse_json(body)
    .map_err(fn(e) { MalformedJson(e) })
    |> Result::bind(validate)
}

要点：SignupError 本身就是 API 文档；Result 强制调用方处理成功和失败；|> 把解析→映射→校验串成清晰管道。

横向对比：怎么选？#

快速决策：

• 要成熟生态和极致性能 → Rust
• 要复用 Go 团队经验 → TinyGo / 标准 Go Wasm
• 要TypeScript 风格的小工具 → AssemblyScript
• 要复杂业务状态 + 小体积 + 强类型 + 多后端 → MoonBit

表中体积区间是工程经验值，不是语言常数。Rust 的无分配纯函数可以百字节级；一旦引入 std、分配、wasm-bindgen、serde 或其他 glue code，体积会快速上升。通过 no_std + wee_alloc + wasm-opt -Oz 等手段仍可压到很小。

为什么不直接用 AssemblyScript？#

如果目标是小型、无依赖、偏计算的 Wasm 工具且团队主要写 TypeScript，AssemblyScript 很可能更直接。但它不是”把现有 TS 直接编成 Wasm”——语法接近 TypeScript，工程边界更接近”用 TS 语法写的面向 Wasm 的静态语言”。

关键差异：

• 运行时要自己选 — stub 是极小 bump allocator 不回收；minimal 需手动触发 GC；incremental 自动化但引入更多开销
• 标准库不是浏览器/Node 的 — DOM、fetch、npm 包不会因为语法像 TS 就可用
• 对象在线性内存里 — String/Array 不是 JS 对象，跨边界是指针
• JS 互操作有成本 — 传字符串/对象需要 glue code / loader

结论： 简单 Wasm 工具、TS 团队 → AssemblyScript。业务状态复杂、错误分支多、长期维护 → 评估 MoonBit。

本机实测数据#

只想快速阅读可跳过本节。结论：微型纯函数里各家都能百字节级；稍真实的字符串工具里 MoonBit 和 AssemblyScript 仍控制在 1 KB 内；TinyGo 十几 KB；标准 Go 因 runtime 体积明显更大。吞吐方面，线性内存路径各家接近，wasm-gc + JS string 路径因逐字符宿主调用而明显慢。

ABI 说明：各产物的宿主绑定方式不同——MoonBit wasm-gc 使用 use-js-builtin-string，Go js/wasm 使用 syscall/js，其余主要通过 ptr + len 读取线性内存。表格主要用于观察产物量级和吞吐档位，不是严格 ABI 对比。

AssemblyScript 表中的 stub / minimal 是为小体积显式选择的 runtime；默认 runtime 和 GC 行为不同，体积也会变化。

适合的场景#

一句话：凡是对 WASM 产物大小、冷启动速度、沙盒安全敏感，且业务逻辑能清晰隔离的场景，都值得评估 MoonBit。

不适合的场景#

• 依赖海量第三方库 — 生态不能和 Rust/Go/JS 相比
• 纯服务端 / 不在乎冷启动 — 常驻进程、批处理用成熟技术更稳
• 需要稳定 ABI / FFI — native 与 LLVM 路径还在演进
• 高吞吐字符串 / 字节扫描热路径 — 需要先做性能 POC，并优先验证线性内存或组件模型边界；不要默认使用 JS string 热循环
• 大团队招人 / 长期维护核心系统 — MoonBit 工程师少
• 强调成熟稳定高于一切 — 语言和工具链仍在快速演进
• 修改/分发编译器 — MoonBit Public License 有限制，需先确认条款

决策清单#

MoonBit 不是来替代 Rust 或 JavaScript 的。它是为“WASM-first、小体积、快冷启动、强类型沙箱逻辑”准备的专用工具。

附录：为什么 Rust WASM 比 MoonBit 大？#

不是”Rust 天生慢”，而是几个默认设计决策叠加的结果：

Rust 能变小，但门槛不低： #![no_std] → opt-level = “z” + LTO + strip → panic = “abort” → wee_alloc → wasm-opt -Oz → 优化 wasm-bindgen。调完可以和 MoonBit 一样小，代价是放弃标准库生态。

Rust：”默认保留完整能力，Wasm 体积需要额外调优”。 MoonBit：”默认极简、默认 WASM 特化、冷启动/体积第一”。 没有对错，看你的场景更需要成熟生态还是小体积。

参考资源#

• 官网 · 在线 Playground · 官方文档
• FFI · Method & Trait · 错误处理
• 编译器仓库 / 许可证 · 标准库 · VS Code 插件
• MoonBit value type / FFT benchmark 博客 · 官方 FFT benchmark 仓库
• Go Wasm export · TinyGo · AssemblyScript

本文中的体积和冷启动判断，建议结合官方 benchmark 与真实业务代码复现。