Modula-9：专为审计 AI 生成代码设计的 Wirth 系语言

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