空客选择 Ada 开发无人驾驶航空系统

程序
WinterIsComing (31822)发表于 2020年09月16日 20时45分 星期三
来自部门
法国空中客车直升机公司宣布选择 AdaCore 公司的 GNAT Pro Ada 工具套装和 Ada 语言开发 VSR700 原型项目的无人驾驶航空系统。Ada 是一个有 40 年历史的结构化、静态类型、命令式和面向对象的高级编程语言,由 Pascal 及其他语言扩展而成,它在几十年前就解决了今天 Rust 语言试图解决的部分内存安全问题。