Modula-9 发布：专为审计 AI 生成代码设计的 Wirth 家族编程语言

Modula-9（M9）是一款专为审计 AI 智能体生成代码而设计的 Wirth 家族编程语言，由智能体在人工审查下编写而成。该语言由编译器强制检查类型、故障模式、效果与线程安全且无法关闭检查，无隐式类型转换，运行时检查开销约 3%。其编译器在 GNU GPL v3 下开源，提供 VS Code 插件、Jupyter 内核及 Claude Code skills 等工具支持。