最近 Matz 合并了我给 Spinel 的一个 PR，借这个机会介绍一下我在做的语言 Egg：https://github.com/femto/egg

Egg 是什么

Egg 编译成可移植的 C99，几个设计重点：

没有 GC，但内存安全。 每个缓冲区只有一个所有者。释放后使用、重复释放、内存泄漏都是编译错误，而且不用写生命周期标注。
没有未定义行为。 整数溢出、整数除以零、数组越界都会 panic，不会悄悄回绕或者踩坏内存。
能力写在签名里。 语言核心不能做 IO，也不能分配内存。一个文件要先声明 uses io, alloc，再由 main 把这些值往下传，看函数签名就知道它能碰什么。
线程之间不共享数据。 有所有者的值通过 channel 在线程之间转移。

长什么样

uses alloc, io

fn greet(io: Io, a: Allocator, name: str) void {
 const msg = a.concat("hello, ", name)
 defer a.free(msg)
 io.print(msg)
}

fn main(io: Io, a: Allocator) void {
 greet(io, a, "egg")
}

（GitHub 还不认识 Egg，代码块先借 Zig 的高亮。）

编译器替你抓的错

忘了写 defer a.free(msg)，内存泄漏直接编译不过：

hello.egg:4:11: error[E135]: 'msg' still owns its buffer when 'greet' ends; free it (a.free(msg)), return it or pass it on

去掉 uses 里的 io，这个能力也用不了：

hello.egg:6:8: error[E130]: 'greet' uses io (Io.print), but its module does not declare it; add `uses io` at the top of the file

切片还要用，原来的缓冲区就不能改：

const path = line[4..]
a.push(&line, '!') // 可能会挪动底层字节
io.print(path)

slice.egg:7:12: error[E149]: 'line' cannot be changed here: the slice 'path' of it is used later

path 用完之后，同样的 push 就可以了：借用在最后一次使用时结束。

再长一点：带数据的联合类型和 switch

uses io

const Shape = union(enum) {
 circle: i64
 rect: Size
 empty
}

const Size = struct { w: i64, h: i64 }

fn area(s: Shape) i64 {
 switch (s) {
 .circle => |r| { return 3 * r * r }
 .rect => |sz| { return sz.w * sz.h }
 .empty => { return 0 }
 }
}

fn total(shapes: []Shape) i64 {
 var sum = 0
 for (shapes) |s| {
 sum = sum + area(s)
 }
 return sum
}

fn main(io: Io) void {
 const shapes = [3]Shape{ Shape{ .circle = 2 }, Shape{ .rect = Size{ .w = 3, .h = 4 } }, .empty }
 io.print(total(shapes[0..])) // 24
}

和 Spinel 的关系

Spinel 是 Matz 写的 Ruby AOT 编译器：把 Ruby 的一个子集编译成 C，再编成原生程序。

Egg 的编译器 eggc 大约 1.2 万行，全部用 Spinel 能编译的那部分 Ruby 写成。平时它跑在 CRuby 上，也可以用 Spinel 编成原生程序：

早期的 v0 已经用 Spinel 编成过原生的 eggc。启动时间从约 350 ms 降到约 5 ms，而且不需要装 Ruby。
现在的版本还卡在几个 Spinel 的问题上，我都提了 issue：#11078、#11079、#11080。等这些修好，就能再编成原生的。

用这个子集写编译器的体验很好：写起来就是普通 Ruby，最后又能得到一个原生程序。

性能

小程序，和 C 比

...

Ruby China

Message History

Delivery option(s)