HeadlinesBriefing favicon HeadlinesBriefing.com

Goose内存安全语言超越C++和Rust

Hacker News •
×

Goose是一种内存安全的系统语言,相较于C++和Rust在速度和内存使用上更优。它运行速度比手工优化的C++快1.16倍,比安全的Rust快1.12倍,同时使用更少的内存。该语言通过一种独特的内存模型实现,无需堆、垃圾回收器或生命周期标注。所有动态值都位于由编译器管理的数据栈上,内存仅通过作用域退出进行释放。这种设计消除了分配器、引用计数和移动内存的需求。Goose支持平面数据结构,使用无生命周期语法的类型化引用,并通过狭窄偏移实现位置无关数据。枚举使用可变模式ADT,相较于Rust可节省4倍内存并提升2倍速度。错误通过静态返回进行传播,无需异常展开或Result类型。线程之间不共享内存,通过类型化队列上的memcpy进行通信。泛型和高阶函数编译为零开销循环。Goose生成纯C代码,能够在任何支持C编译器的平台上运行,并包含一个Tiny CC后端以实现进程内执行。该语言无需构建步骤即可进行基本使用,并在其教程、规范、示例和基准测试中进行完整演示。