AI 免疫编程语言，代码更安全

AI 生成的代码常常因缺乏验证而产生意外错误。一门强制执行正确性证明的语言可以及早发现这些问题。使用 AI 驱动项目的开发者会为这种可靠性付费，以避免代价高昂的错误。从支持基本证明检查的最小编译器开始。最大的风险是已被现有语言习惯的开发者不愿采用。