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