Minikotlin 新项目发布

背景

Kotlin 是一门广泛应用于 Android 和服务器端开发的现代编程语言，但其传统的编译路径依赖 JVM（Java 虚拟机）或 LLVM 后端。随着 WebAssembly（WASM）的兴起，特别是 WebAssembly GC（垃圾回收）提案的成熟，将 Kotlin 直接编译为 WASM 并在浏览器中运行成为可能。然而，现有的 Kotlin/WASM 方案通常仍依赖 Kotlin 编译器前端（如 Kotlin/Native 或 Kotlin/JS）以及 LLVM 或 Binaryen 等工具链，导致编译过程复杂、依赖众多。在此背景下，出现了 Minikotlin——一个从零开始用 C 语言编写的 Kotlin 编译器，它手工生成 WebAssembly GC 字节码，不需要 JVM、LLVM、Binaryen 或 Gradle，并且编译器本身也编译为 WASM，可以在浏览器标签页内完成从 .kt 源码到 .wasm 模块的完整编译和运行。

核心内容

Minikotlin 是一个完整的 Kotlin 编译器，它接受一个或多个 .kt 文件作为输入，将它们作为一个编译单元（即可以互相引用），经过词法分析、语法分析、语义分析、高级中间表示（HIR）、中级中间表示（MIR），最终手工生成 WebAssembly GC 字节码。整个编译过程在单个浏览器标签页内完成，无需安装任何工具链。

编译流程：.kt → lex → parse → sema → HIR → MIR → WASM-GC → run。前端（称为 mkf）负责词法、语法和语义分析，将名称、类型和智能转换解析完毕，然后交给两个自己的中间表示（HIR 和 MIR），最后手工写入 WASM-GC 字节码。编译器本身以 WASM 形式分发，因此它可以在代码运行的地方运行——即同一个浏览器标签页内。

当前支持的 Kotlin 特性（并非 token 子集，而是通过 WASM-GC 类型系统正确降级，每个特性都有端到端测试）：

• 对象模型：类、对象、继承（open/override）、带默认方法的接口、data class（生成 equals/hashCode/copy）、enum、具名/伴生/匿名对象表达式。
• 控制流：密封类（sealed）层次结构带穷尽 when、is 检查编译为 ref.test、跨分支的流敏感智能转换。
• 类型系统：可空类型完整支持（?. 安全调用、?: Elvis 操作符、!! 断言），包括可空基本类型通过 Any 装箱。
• 泛型：函数和类上的类型参数（如 fun <T> id(x: T): T），通过装箱的 Any 表示降级。
• 运算符与扩展：运算符重载（plus、get 等）分发到左值类，扩展函数在自身命名空间中，以及带 field 后端的自定义访问器。
• 协程：launch、delay 和 coroutineScope——真正的挂起通过闭包上的 CPS（Continuation Passing Style）编译实现，无需 Asyncify、JSPI 或线程。
• 标准库：手写的 String/Char 操作、列表高阶函数（map/filter/forEach 等）、kotlin.math 以及作用域函数 let/apply/run/also/with。

四个关键降级示例（将语言构造映射到 WASM-GC 机制）：

1. 每个类都变成一个 GC 结构体类型，属性是真实的结构体字段，分配使用 struct.new，而不是手工管理的堆字节。
2. 开放和重写的方法通过每个类的虚函数表（vtable）实现，虚调用是加载函数引用后执行 call_ref——真正的动态分发。
3. is 检查和 when (x) { is T -> } 分支编译为 ref.test，缩小后的值通过 ref.cast 重用——免费的智能转换。
4. 挂起点在函数接缝处分割函数，并将剩余部分捕获为延续（continuation）。一个简单的 delay 向宿主传递一个 token，然后从 setTimeout 恢复——真正脱离栈的挂起。

示例代码：一个 Race.kt 程序演示了密封类、协程和扩展函数。两个 Lane 子类（Fast 和 Slow）各自有不同的 pace()，在 coroutineScope 中分别 launch，每个 launch 在 delay 时挂起并让出，较快的车道先恢复，coroutineScope 等待所有子协程完成后打印“race over”。整个过程中没有阻塞，也没有 Asyncify——挂起被编译成延续闭包。

关键要点

• Minikotlin 是一个用 C 语言从零编写的 Kotlin 编译器，完全不需要 JVM、LLVM、Binaryen 或 Gradle 等传统依赖。
• 编译器本身被编译为 WASM，因此可以在浏览器标签页内直接运行，无需安装任何工具链。
• 编译过程为单遍流水线：词法分析 → 语法分析 → 语义分析 → HIR → MIR → 手工 WASM-GC 字节码，无中间 VM 或外部后端。
• 支持完整的 Kotlin 对象模型、控制流、可空类型、泛型、运算符重载、扩展函数、协程和标准库核心功能，所有特性均通过 WASM-GC 类型系统正确降级。
• 每个类映射为 GC 结构体，分配使用 struct.new；虚方法通过 vtable 和 call_ref 实现动态分发；is 检查使用 ref.test 和 ref.cast 实现智能转换；协程挂起通过 CPS 闭包实现，无需 Asyncify 或线程。
• 提供了一个多文件编辑器（Studio），可以编写多个 .kt 文件作为编译单元，点击 Run 即可在标签页内编译并运行，支持离线运行，零依赖。

意义与影响

Minikotlin 展示了将 Kotlin 直接编译到 WebAssembly GC 的可行路径，且不依赖庞大的现有工具链。它的意义在于：

• 简化 Kotlin 的 Web 生态：开发者无需安装 JDK、Gradle 或其他工具，只需一个浏览器即可编写、编译和运行 Kotlin 程序，极大降低了 Kotlin 在 Web 环境中的入门门槛。
• 验证 WASM-GC 的实用性：通过手工生成字节码，Minikotlin 证明了 WASM-GC 的 struct、vtable、ref.test 等原语足以高效实现现代面向对象语言的特性（包括泛型、协程等），为其他语言迁移到 WASM-GC 提供了参考。
• 教育价值：作为一个简洁的编译器实现（无依赖、单文件编译），它适合作为学习编译器设计、中间表示和代码生成的案例，特别是 Kotlin 到 WASM 的降级过程。
• 潜在影响：如果 Minikotlin 继续完善，未来可能成为 Kotlin 在浏览器中运行的重要替代方案，尤其适合需要快速原型、教育演示或轻量级应用的场景。同时，它也为其他语言（如 Java、C#）的 WASM-GC 编译提供了思路，表明无需 LLVM 等重型后端也能实现高效编译。