Show HN: Tiny – 一种支持内联 Go 原生函数的解释型动态语言

背景

在编程语言生态中，通常存在一种权衡：动态语言（如 Python、JavaScript）拥有极高的开发速度和灵活性，但往往受限于运行时的性能瓶颈；而静态编译语言（如 Go、Rust）虽然性能卓越，但在开发效率和动态特性上往往有所妥协。

Tiny 是一个旨在打破这一权衡的项目。它由 Go 语言编写，是一个高性能、并发的字节码虚拟机及编程语言。Tiny 的设计哲学是将动态编码的开发速度与基于多线程的健壮运行时引擎相结合。它通过编译源码为紧凑的基于栈的字节码指令（.tbc），并在一个使用基于槽位（slot-based）局部存储的高度优化的虚拟机上运行，从而实现了两者的平衡。

核心内容

Tiny 不仅仅是一门语言，更是一个包含运行时系统的完整解决方案。其核心架构和功能特性如下：

1. 混合执行模型与 JIT 编译

Tiny 采用多层执行模型，兼顾通用逻辑的高效解释执行与关键代码的性能优化：

• 解释器：负责处理通用逻辑，提供快速的启动和开发迭代体验。
• JIT 编译器：针对性能关键代码路径，将热点字节码路径转换为原生 WebAssembly (Wasm)。编译器自动识别顶层代码和函数体中的热点循环，将其轮廓化为专门的 JIT 区域。这意味着即使脚本和定时基准测试也能以原生速度运行，无需手动封装函数。

2. 并发与并行机制

与基于事件循环（Event-loop）的模型不同，Tiny 强调操作系统级别的并行多线程：

• OS 级线程：使用 spawn 关键字在隔离的 VM 状态空间上启动新的执行例程，任务在所有可用的 CPU 核心上并发运行。
• 状态同步：支持使用互斥锁（mutex）和原生的 lock 块协调共享状态。编译器保证互斥锁在执行离开该块时自动释放，从而防止死锁。

3. 类型系统与结构体编程

• 动态默认，静态可选：Tiny 默认是动态类型的，允许编写无类型代码以进行快速原型设计。同时，它支持可选的静态类型提示（变量、参数和函数返回值），支持联合类型（unions）和泛型。
• 结构体类型（Structural Typing）：对象基于其属性和方法在运行时根据接口进行验证。JIT 引擎通过跟踪对象形状并利用线性内存字段偏移量来优化这些检查。
• 解构赋值：支持 let 和 const 声明的对象和数组解构，包括嵌套模式、默认值和属性重命名。

4. 组合优于继承

Tiny 强调组合而非深层继承。通过 embed 关键字，类可以将行为委托给另一个类实例。如果父类中缺少方法或字段，则自动从嵌入的实例中解析。

5. 控制流与模式匹配

• Match 块：提供分支分发，支持字面值、变量、枚举、联合模式和守卫（guards）。这是从枚举变体中提取数据的主要方式。
• Defer 语句：调度函数调用在当前周围函数作用域退出前立即执行，无论是否有早期返回或抛出错误。

6. 高性能优化特性

• 主机镜像打包数组（Host-mirrored packed arrays）：对于包含统一形状对象的数组，JIT 实现主机内存镜像。它利用字段-列指针表直接在线性内存中访问对象属性，绕过了通常与 VM 到原生互操作相关的宿主调用开销。
• JIT 优化建议：
  • 避免捕获可变外部变量的闭包（这些由解释器执行）。
  • 保持同步（async 函数目前不支持 JIT）。
  • 提供显式类型提示以生成专用机器码。
  • 字符串连接操作现已由 JIT 加速。

7. 原生 Go 函数扩展

Tiny 允许直接在源码中使用 native fn 编写 Go 代码。这些代码块通过 TinyGo 编译为 WebAssembly，并在运行时加载。这使得开发者可以直接利用 Go 丰富的标准库（如 crypto/sha256），同时保持语言层面的统一性。

8. 其他特性

• 链式模式验证库：内置用于定义和强制执行数据模式的链式 API，支持对象、数组、联合和转换。
• 语言服务器协议（LSP）：内置支持，提供现代化的 IDE 体验。
• WebAssembly 扩展：原生支持 Wasm 扩展。

关键要点

• 双模引擎：Tiny 结合了高效解释器（用于通用逻辑）和 JIT 编译器（用于性能关键代码），后者将热点路径编译为原生 WebAssembly。
• 真正的并行：不同于 Node.js 等单线程事件循环模型，Tiny 使用操作系统级多线程，利用所有 CPU 核心进行并发处理。
• Go 原生集成：通过 native fn 块，开发者可以直接嵌入 Go 代码，经 TinyGo 编译为 Wasm 后加载，无缝访问 Go 生态库。
• 灵活的类型系统：默认动态类型支持快速原型开发，同时可选静态类型提示、联合类型和泛型，并采用结构体类型进行运行时验证。
• 内存与性能优化：
  • 使用基于槽位的局部存储。
  • JIT 自动优化对象形状和线性内存字段偏移。
  • 支持主机镜像打包数组，减少 VM 与原生互操作的开销。
• 现代语言特性：支持模式匹配（match）、延迟执行（defer）、组合式编程（embed）、解构赋值以及内置的 LSP 支持。
• 跨平台发布：提供 Windows (amd64)、Linux (amd64) 和 macOS (Apple Silicon arm64) 的预编译二进制文件。

意义与影响

Tiny 的出现为系统编程和脚本语言之间的界限提供了一种新的解决方案。

1. 填补性能与开发效率的空白：对于需要高性能后端服务或数据处理，但又不希望承受 Go 或 Rust 等静态语言复杂编译和严格类型约束的开发团队，Tiny 提供了一个极具吸引力的中间地带。它保留了动态语言的敏捷性，同时通过 JIT 和原生线程提供了接近静态语言的性能。
2. Go 生态的延伸：通过原生支持内联 Go 代码，Tiny 极大地降低了 Go 开发者进入高性能并发编程的门槛。它允许开发者利用 Go 成熟的并发原语和标准库，同时享受动态语言的开发便利，这可能会吸引大量 Go 用户尝试更轻量级的脚本或中间件开发。
3. WebAssembly 的实用化探索：Tiny 将 JIT 编译目标定为 WebAssembly，这不仅提升了执行速度，还增强了可移植性和安全性。这种架构设计为未来在浏览器端或边缘计算环境中运行高性能、并发密集型应用提供了新的思路。
4. 并发模型的多样性：在事件循环主导的脚本语言（如 JS, Python asyncio）和传统多线程语言之间，Tiny 提供了一种基于 OS 线程的并发模型，这对于 I/O 密集型和高计算密集型混合的任务可能具有显著优势。

总体而言，Tiny 是一个野心勃勃的项目，它试图通过现代化的编译器技术（JIT, Wasm）和语言设计（结构体类型、组合优先），重新定义动态语言的性能上限和并发能力。