发布用于审计 AI 代码的 Modula-9 语言

2026年10月21日，Wirth 系编程语言 Modula-9（M9）发布。该语言专为审计 AI 生成代码设计，编译器强制执行无隐式转换规则，并自带类型宽度命名，以拒绝自动转换防止静默错误。 M9 运行时检查开销仅为 3% 且不可关闭。该工具提供 Ubuntu 等 Linux 发行版安装包，以及 macOS 和 Windows 的实验版。 Modula-9 采用 GPL 3.0 协议，其中运行时库附带例外许可，允许用户以任意协议发布基于 M9 构建的程序。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。