Nolang：无GC系统编程语言

Nolang：一门没有GC，却能把内存安全玩明白的系统编程语言

提到系统编程语言，大家第一时间想到的往往是“高性能”、“底层控制”以及“令人头疼的内存管理”。C/C++的性能确实出色，但悬垂指针、内存泄漏等问题几乎是每位开发者绕不开的难题。而Rust通过所有权和生命周期机制给出了一个优雅的解决方案，但其陡峭的学习曲线也让很多人望而却步。

今天我们要介绍的Nolang，走了一条比较“实验性”的道路。它同样是一门系统编程语言，同样将内存安全作为语言设计的核心目标，但其实现方式与我们熟悉的方案都不太一样。它没有垃圾回收（GC），却宣称通过一套“安全作用域模型”实现了绝对的内存安全。那么，它是如何做到的？值得我们深入拆解其设计思路。

核心特性：减轻开发者负担，提升运行性能

Nolang的设计哲学第一条就是“对开发者友好”。具体如何体现呢？简单来说：没有指针，没有所有权，没有生命周期。这几个在Rust中让人头疼的概念，在Nolang中直接被拿掉了。

它采用的是引用传递模型。所有函数参数默认都是引用，函数通过修改参数来返回结果。这意味着你不需要像在C语言中那样小心翼翼地传递指针，也不需要像在Rust中那样纠结于“谁拥有这块内存”。

内存管理则交由安全作用域模型处理。变量离开作用域后自动释放，悬垂指针和内存泄漏这两大常见问题从语言层面就被彻底杜绝。既然没有泄漏，自然也就不再需要垃圾回收（GC）来进行“后期清理”了。

性能方面也做了细致考虑。小字符串在栈上分配，不涉及堆内存；变量原则上只分配一次、释放一次。同时，方法重载通过单态化实现高效执行，整个语言设计都体现出“极致追求性能”的态度。

结构体、接口、泛型（支持类型和数值泛型）、枚举等现代语言标配功能，Nolang也都一一实现。它的 match 语法也进行了独特设计，使用起来更加简洁灵活。

快速上手：看一眼就能理解

语言的设计理念最终要落实到编码体验上。以下代码示例基本展示了Nolang的核心用法：

// 不需要 main 入口，直接写逻辑
println('Hello, Nolang!')

// 变量声明
i64

// 函数通过参数返回结果
add(a i64, b i64, result i64) {
    result = a + b
}

// 标准库方法可以像普通函数一样使用，有返回值
c = max(a, b)

// 结构体
user {
    name str
    age i64
}

u = user { name: 'Alice', age: 30 }

// 结构体方法
user.greet() {
    println('Hello, ' + self.name)
}

u.greet()

// 枚举
color {
    red,
    green,
    blue,
}

// 带参数的枚举
enum-name {
    a t,
    b u,
    c v,
}

// 定义接口
json {
    to-json()
}

// 实现接口
user json {
    name str
    age i64
}

// 接口默认实现
json.to-json() {
    return '{...}'
}

可以看到：没有头文件、没有复杂的main函数签名、没有所有权声明。函数参数默认就是引用，直接在参数上修改结果。结构体与方法写在一起，接口的实现也很直观。这种“少即是多”的设计确实降低了上手门槛。

区间语法：写循环和切片就像写数学表达式

循环和数组切片是两种非常高频的操作。Nolang的区间语法让这些操作变得异常清晰：

// 未来的 map, arr, vec 也适用
for i in [a..b] {   // 闭区间：a ≤ i ≤ b
    // a, a+1, ..., b
}

for i in (a..b] {   // 左开右闭：a < i ≤ b
    // a+1, a+2, ..., b
}

for i in [a..b) {   // 左闭右开：a ≤ i < b
    // a, a+1, ..., b-1
}

for i in (a..b) {   // 开区间：a < i < b
    // a+1, a+2, ..., b-1
}

// 递减
for i in [5..0] { }

// 只执行一次（包含5）
for i in [5..5] { }

// 不执行
for i in (5..5) { }

// 遍历字符串字符
for i in 'abc' { }

// 数组切片，用法和区间一致
nums[..]    // [0, 1, 2, 3, 4]
nums[1..]   // [1, 2, 3, 4]
nums[..3]   // [0, 1, 2]
nums[1..3]  // [1, 2, 3]
nums[1..3)  // [1, 2]

这种语法直观到什么程度？你几乎可以直接把数学上的区间记法照搬到代码中，而不需要去想“这个函数是左闭右开还是左闭右闭”。这正是优秀语言设计应有的样子——让开发者聚焦逻辑，而不是记忆语言的特殊规则。

match：兼具语句和表达式的双重身份

Nolang的match设计也是一大亮点。它既可以作为语句执行，也可以作为表达式返回值：

// 作为语句：分支体是一个代码块
x {
    1| 
        a = 1
        b = 2   // 多行，不返回值
    2| 
        do-something()
    | 
        c = 0
}

// 作为表达式：分支体返回一个值
result = x {
    1| 1          // 单一值
    2| 2 + 1      // 简单表达式
    | a + b
}

// 特殊 match：没有需要返回的值，按条件匹配
{
    a == 1| 
        a = 1
        b = 2
    a == 2| 
        do-something()
    | 
        c = 0
}

// 判断返回值可能出错的情况
// it 用于取参数
x {
    err| log(it)
    nil| log('nil')
    | do-right-thing(it)
}

在实际编码中最常用的场景，可能还是最后一个——处理可能有错误或空值的返回值。无需if-else嵌套，一个match就能清晰搞定。

可空类型：优雅处理“可能有值也可能没有”

对于可能为空或出错的场景，Nolang提供了内置的可空类型支持：

// 声明一个可空字符串
nullableString str

// 赋值
nullableString = 'test'

// 设置错误
nullableString = err('some error')

// 通过 match 判断
x {
    err| log(it)
    nil| 
    | do-right-thing(it)
}

这种设计将“空值”和“错误”统一进同一种类型系统中，开发者无需在代码中到处写 if (ptr != NULL) 或 try-catch。match天然适合处理多分支情况，代码更简洁、更安全。

---

总的来说，Nolang为我们展示了一种系统编程语言的新可能：它放弃了指针和所有权这些传统上被认为“为了高性能必须存在”的特性，转而采用引用传递和安全作用域模型来实现内存安全。没有GC、性能优先，同时对开发者十分友好。

当然，作为一门实验性语言，它还远未成熟。但它的设计思路——在安全、性能、易用性之间寻找一个全新的平衡点——确实值得关注与思考。如果你对编程语言的底层设计感兴趣，不妨亲自尝试一下。