Rust追赶Ada：安全关键领域编程语言之争

Ada在安全关键领域屹立40余年，而Rust在过去十年中试图进入这一领域，并取得了不同程度的成功。演讲者将探讨Ada在确保代码无bug方面的一些强大特性，例如强大的子类型声明和便捷的使用方式，并比较Rust在这方面的不足之处，分析Rust追赶Ada的现状和差距。