Goose 语言解析：删掉堆的内存安全系统语言，16 项基准胜过 C++ 与 safe Rust
一门今年 8 月底才公开的新编程语言，在自己仓库的 16 项基准测试里跑赢了手写 C++ 和最优 safe Rust，同时内存占用更低。更反常的是它的身份：没有堆分配器、没有垃圾回收、没有生命周期标注，编译器约 3 万行 C++ 代码，官方 README 自述「几乎全部由 Claude Fable 编写」。这就是 Wouter van Oortmerssen…
标签: 编程语言
清除筛选
roc-deflate 基准实测：纯函数式语言 Roc 距离 C 只差 2.6%
2026 年 10 月 22 日，Roc 语言作者 Richard Feldman 发布了一组基准测试结果：用纯函数式语言 Roc 实现的 DEFLATE 压缩库 roc-deflate，在 Silesia 语料库的 144 组测试中，中位数性能只比 C 语言写的手工调优库 libdeflate 慢 2.6%（M1 MacBook Pro）到 8.9%（Ry…
Gleam 重写编译器：直接产出 AST，编译快两成
Gleam 是一门跑在 Erlang 虚拟机（BEAM）上的静态类型函数式语言，编译器用 Rust 写成。10 月 6 日发布的 v1.19.0 做了一件表面低调、内里伤筋动骨的事：Erlang 代码生成器被完全重写，编译产物从 Erlang 源码换成了 Erlang 抽象形式（abstract forms）。编译速度显著提升，BEAM 崩溃报告和堆栈追踪的…
Zig 0.17.0 发布：构建系统重构、增量编译落地与 @bitCast 重定义
Zig 在 10 月 2 日发布 0.17.0 版本。这轮更新包含 5 个月的工作量，来自 206 位贡献者的 925 个提交，修复了 329 个 bug 报告。版本号本身也说明了项目所处的阶段：Zig 官方明确表示语言稳定化是通往 1.0 的前置条件，而 0.17.0 在这条路上迈出了实质性的一步——上一个发布周期里，团队讨论并裁决了大约 150 份语言提…
Go 不用再手写汇编：1.27 的跨平台 SIMD 实验包拆解
2026 年 8 月发布的 Go 1.27 里，藏着一个对性能敏感的开发者意义很大的变化：官方引入了实验性的 simd 包，一个完全可移植、与平台和向量宽度无关的 SIMD 接口。加上 1.26 先行推出的架构相关 API，Go 程序员现在可以用纯 Go 代码写出接近汇编性能的向量化计算，不必再碰一行 Plan 9 汇编。 Go 官方插画 这事儿值得展开写，…
Bend 2：用数学证明拦住 AI 写代码的错误
AI 编程助手把写代码的成本压到接近零之后，瓶颈换了个位置：你不敢直接合并它写的东西。9 月 17 日，Higher Order Company 发布了编程语言 Bend 2，Hacker News 上相关帖子拿到 470 多分和 220 多条评论。它的定位写在 README 开头：人类最终会停止写代码、读代码，但仍需要一种无歧义的方式告诉 AI 我们要什么…
Rust 稳定了 never type：一次等了十年、横扫 3,277 个 crate 的类型系统收尾
2026 年 8 月 24 日，rust-lang/rust 仓库的 PR #155499 完成合并，标题只有三个词：stabilize never type。这个 PR 把 Rust 的 never type（写成感叹号 !）正式推进稳定通道，同时关闭了两条跟踪了十年的 issue：#35121（2016 年 7 月开立，「promoting ! to a…
Mojo 编译器整体开源：Modular 开源平台仓库结构与 ModCon 2026 五项公告
2026 年 8 月 18 日，ModCon 2026 大会在旧金山开幕。Modular 在主题演讲中宣布了五项决定：Mojo 语言编译器与工具链以 Apache 2.0（附加 LLVM 例外条款）许可完整开源；推理服务 Modular Cloud 正式商用；平台新增 AWS Trainium、Google TPU、Qualcomm Cloud AI 100…