RecodeX 重构消息，近40年后，Modula语言编写的安全Unix系统KSOS源代码重现，其在类型安全方面的实践早于Rust语言。