Modula-9 发布：面向审查 AI 生成代码的 Wirth 系语言

作者发布 Wirth 系语言 Modula-9（M9），编译器强制检查类型、失败模式、副作用与线程安全且不可关闭，例如禁止 F64 隐式赋给 I64。作者称运行时检查开销约 3%，Mandelbrot 性能与 C 相当，26 KB 可执行文件，编译器可自举出字节一致输出，zarr 读取结果与 numpy 逐位一致。