这也说明，形式化验证正在从少数安全关键领域，重新进入 AI 软件工程的主视野。 而 MoonBit 最近公布的 0.9 版本，最值得关注的地方就在于：它正在尝试把形式化验证从“少数专家才能使用的高门槛能力”，推进为“普通开发者也能逐步采用的工程能力” ...