Show HN：Modula-9，一门为审计 AI 生成代码而设计的 Wirth 家族语言

Modula-9（M9）是一门 Wirth 家族语言，类型、失败模式、副作用与线程安全都在定义模块中声明并由编译器强制检查，且检查无法关闭。它禁止隐式类型转换，例如把 F64 赋给 I64 会直接编译失败；运行时检查开销约 3%，Mandelbrot 性能与 C 相当，可执行文件仅 26 KB。