本文查看了最常见的与内存有关的错误，并比较了Rust和Ada的状况如何 防止 您首先要制作它们。 Rust可以完全防止常见的记忆相关错误，但是ADA避免了动态记忆分配和支持正式的正确性证明，可以帮助您完全避免许多常见错误。 前言 ＃ 生锈的编程语言有 受欢迎程度爆炸 在过去的几年中，始终将 大多数被爱的语言 在堆栈溢出中 开发人员调查。由Mozilla设计为 内存安全，它是C ++等语言的可行替代方案。对安全性的关注邀请了与ADA的比较；一种专为安全至关重要的行业设计的较旧但经过战斗的语言。尽管有很多共同的事情，但还是痛苦的 对抗 在ADA和Rust社区之间成长。多年以来，我一直在网上为ADA辩护 愤怒的鲁斯塔斯人，，，， 硬皮的老灰色， 和 痛苦的老仇恨者。自里根上任以来，大多数人都没有使用过它，或者没有使用过它。我过去曾批评Rust的设计，但是我实际上给Rust提供了一个公平的尝试吗？谈到 记忆安全，两种语言如何 真的 堆叠？ Rust会为我们提供ADA没有的新东西吗？让我们找出答案！ 本文假设您已经熟悉Rust的基础知识。如果不是，最好的起点是 学习生锈，特别是...
