每日HackerNews RSS
Rails Is a JIT Compiler
14 天前
Goose 是一种内存安全的系统语言，没有堆分配器、垃圾回收器或生命周期注解。它使用编译器管理的数据栈：动态值内联存放，增长时指针递增，内存在作用域退出时释放。编译器推断引用根并拒绝不安全的生命周期。基准测试报告其执行速度更快、内存占用更低，优于惯用 C++ 和安全 Rust。嵌套数据保持内联且连续；字符串、数组和记录没有指针。可变大小枚举仅存储其变体的大小。相对引用可以是窄偏移，使结构位置无关，其字节可作为文件格式。值原地构建，包括写入数组目标。错误可跨多个函数帧返回，无需 Result 类型或展开器。线程不共享可变内存；扁平值通过 memcpy 跨越类型化队列。泛型和高阶函数单态化，无闭包开销。Goose 编译为单个 C 文件，可通过内置 TinyCC 运行。它支持 extern C 调用、包和标准库。
Hacker News 讨论了 Goose——一种由 Wouter van Oortmerssen 开发的新型内存安全系统语言，它编译为 C，使用多个静态数据栈而非堆分配，旨在实现高性能。作者确认大量借助 AI，尤其在实现和文档方面，引发争论：有人称赞其设计和可读性，也有人不信任 AI 编写的文档并质疑基准测试。评论者探讨了内存模型、并发、嵌入式/Wasm 适用性、哈希表、链表以及与 Rust/C++ 的比较。作者回应了关于栈、池、线程、已有技术及局限性的细节。John Carmack 的语录被引用，但用户对其语境存在争议。总体而言，兴趣集中在 Goose 的新颖内存方法和性能声明上，但被对 AI 生成文档和长期可维护性的担忧所冲淡。