面向审计AI生成代码的编程语言Modula-9开源发布

2026年10月21日，专为审计AI智能体生成代码而设计的Wirth家族编程语言Modula-9（M9）正式发布。该语言由AI智能体在人工审查下编写完成，其核心特性是由编译器强制检查类型、故障模式、效果与线程安全，且此类检查无法关闭，同时不存在隐式类型转换，运行时检查开销约为3%。目前，Modula-9的编译器已在GNU GPL v3协议下开源，并配套提供了VS Code插件、Jupyter内核以及Claude Code skills等相关工具支持。

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

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