Goose：比 C++ 快，比 Rust 安全
Goose: 1.16x faster than C++ and 1.12x than safe Rust, while memory safe
Goose 是一种全新的内存安全系统语言，宣称在性能上超越 C++ 和 Rust，同时无需垃圾回收或生命周期注解。其核心创新在于“无堆”设计：所有动态数据均驻留在编译器管理的数据栈上，通过指针增量实现增长，作用域退出即自动释放。这意味着内存分配仅需一次存储操作，引用在数组扩容后依然有效，彻底消除了数据移动带来的开销。Goose 将数据结构扁平化，使整个程序在内存中紧凑排列，甚至数据本身即为文件格式。它用相对引用替代传统指针，支持无开销的泛型和高阶函数，编译为单一 C 文件，既保证了极致的性能，又实现了真正的内存安全。
Goose 的核心思想只有一个：这里没有堆。
HN 评论区
63- dang
提交者要求我们撤下这篇帖子，因为该语言还缺少一些他们本应在发布前加入的重要元素。我觉得我们无法这么做，因为线程太活跃了，但我们会把这条帖子沉下去，等他们准备好了再重新发布。
- tom_
全是 Claude 生成的文字。我确信这很棒（几年前我也做过不少关于 aardappel 的 lobster 的工作，它相当整洁，而且很容易上手），但是：Claude 的写作风格让我脑子都要融化了。
我这边直接否决。抱歉。
- sodacanner
我就是不明白，为什么你会让 LLM 来写 README。代码、实现？当然可以！那正是代码代理的用途。
但 README 呢？那是人们了解你项目的第一手资料。任何熟悉 LLM 的人一眼就能看出这是 AI 瞬间生成的。你肯定对自己的项目了解得足够透彻，能用你自己的话写出来吧？如果连这都做不到，那这个项目的初衷到底是什么？
- backlands
> Goose 看起来像 C 或 Rust，它基于一个核心理念：没有堆
所以它似乎将内存管理限制为 100% 基于作用域。我预计这会让很多程序设计无法像在 Rust 或 Java 中那样顺畅地迁移过来。下面他们还列出了一堆更具限制性的设计选择：
> - 任何东西都不会移动
> - ... 一个字符串、一个字符串数组、一个包含变长字段的记录以及这些记录的数组，每个都是一个连续的内存块，里面没有任何指针
我得再深入看看，才能判断用这门语言写很多东西是否可行。
- skavi
https://github.com/aardappel/goose/blob/master/docs/tutorial...
这部分看起来有点乱。