登录
注册
文章
提交文章
往日文章
往日投票
皮肤
蓝色
橙色
绿色
浅绿色
分类:
首页
Linux
科学
科技
移动
苹果
硬件
软件
安全
游戏
书籍
idle
云计算
奇客故事
关注我们:
solidot新版网站常见问题,请点击
这里
查看。
提交文章
消息
本文已被查看 4008 次
空客选择 Ada 开发无人驾驶航空系统
WinterIsComing
(31822)发表于 2020年09月16日 20时45分 星期三
新浪微博分享
豆瓣分享
来自
法国空中客车直升机公司宣布
选择
AdaCore 公司的 GNAT Pro Ada 工具套装和 Ada 语言开发 VSR700 原型项目的无人驾驶航空系统。
Ada
是一个有 40 年历史的结构化、静态类型、命令式和面向对象的高级编程语言,由 Pascal 及其他语言扩展而成,它在几十年前就解决了今天 Rust 语言试图解决的部分内存安全问题。