标签: 编程语言
清除筛选
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…
Mojo 1.0 正式发布：AI 时代的系统编程语言走向稳定
2026 年 8 月 11 日，Modular 公司宣布 Mojo 编程语言正式发布 1.0 版本。这是一次从 2023 年首次公开至今、历时三年的里程碑发布。Mojo 定位为"AI 时代的系统编程语言"，由 LLVM 和 Swift 语言之父 Chris Lattner 主导设计，核心目标是统一 CPU、GPU 和各类加速器上的高性能编程体验。 Mojo…
Go 1.27 泛型方法与运行时新特性解读
Go 1.27 interactive tour Go 1.27 预计在 2026 年 8 月发布。Go 官方发布说明明确标注为 DRAFT，所有特性仍可能调整。VictoriaMetrics 工程师 Jesús Espino 写了一篇可运行的 Go 1.27 交互式导览，把官方发布说明里偏简略的描述展开成可以在浏览器里编辑和执行的示例。本文基于官方发布说明…