Ada2012即将完成
Ada2012即将完成
Ada语言标准的下个版本有很多提高
原文：http://www.adacore.com/category/press-center/newsletters/
译者：logiciel，2010年5月19日
作为语言设计的自然演化的一部份，Ada 标准的一个新版本即将完成。 新版本称为Ada 2012，这是对Ada 2005的一个向上兼容的增加。当前正在考虑的一些新特征是：
l 对指定断言（assertion）的改进支持（子类型的成员关系谓词（predicate），子程序的前置和后置条件，包和类型的不变式，全局的in-out注解)；
l 对实时和并发编程的改进支持（多处理器的 Ravenscar，障碍，任务/处理器密切关系，任务安全的队列）；
l 容器包的有界格式，这适用于不能使用动态存储分配或受约束类型的应用；
l 对容器或数组的元素迭代的改进支持；
l 更灵活的表达式 （if表达式，case表达式，定量表达式，更通用的成员关系测试）；
l 对控制名字可见性的改进支持（使用所有类型, 整合的包）；
l 通过存储池的子池实现的以区域为基础的内存管理；
l 函数的“in out”和“out”模式参数；
l 不完整类型的new 使用（由此引入一个私有类型，作为一个参数或结果类型，或作为一个类属形参）。
详细情况请参见www.ada-auth.org/ai05-summary.html。
在设计的逐渐稳定过程中，用GNAT 技术对这些特征的大部份建立了原型（例如，if和case表达式），让客户得到较早的体验。 藉由这样的分阶段途径，在最终的语言定义被核准后，很快就可获得Ada 2012的全部支持。
Ada2012即将完成相关推荐
- 侠客X官方网站成立,第一个内测版本即将放出,敬请期待.
这是一个难忘的日子,西方的情人节,本站的成立代表侠客X,即将与大家见面了. 我们的要做的是,传承侠客站群经典模式,打造SEO王者力作,侠客X即将公开测试,敬请期待. http://xpk.in Qin ...
- Facebook的加密货币即将到来会对整个加密货币领域意味着什么
链客,专为开发者而生,有问必答! 此文章来自区块链技术社区,未经允许拒绝转载. Facebook的加密货币即将到来,它对整个加密货币领域意味着什么?这里不仅涉及到用户采用.节点参与,还涉及到合规.监管 ...
- 华为：HarmonyOS 即将开源！
整理 | 晋兆雨 出品 | CSDN(ID:CSDNnews) 5 月 24 日,在鸿蒙开发者创新大赛颁奖典礼上,华为消费者业务软件部总裁王成录宣布:HarmonyOS 将会开源开放,并在武汉大学等1 ...
- 5GtoB即将迎来规模商用，如何共创行业新价值？
4月14日,在华为公司第18届全球分析师大会期间,华为携手运营商代表.产业界代表举办了"5G激发行业新价值"论坛,与行业分析师.金融分析师共同探讨对5GtoB产业未来的展望.创新解 ...
- 倒计时1天 | 2019 中国大数据技术大会（BDTC）报名通道即将关闭（附参会提醒）...
2019年12月5-7日,由中国计算机学会主办,CCF 大数据专家委员会承办,CSDN.中科天玑数据科技股份有限公司协办的中国大数据技术大会(BDTC 2019)将于北京长城饭店隆重举行.届时,超过百 ...
- 2097352GB地图数据，AI技术酷炫渲染，《微软飞行模拟器》游戏即将上线
整理 | 若名 出品 | AI科技大本营(ID:rgznai100) "只要是真实存在的地方,你都能抵达." 作为即将成为第一款将整个地球化作虚拟世界来供玩家玩的游戏,微软的< ...
- 估值被砍700亿美元后，Waymo发重磅公开信：即将推出全自动驾驶打车服务
(图片源自 Waymo 官网) 编译 | 夕颜 出品 | AI科技大本营(ID:rgznai100) 近日,据 Reddit 盛传的一封电子邮件副本显示,Alphabet 旗下的自动驾驶汽车公司 Wa ...
- 最后3天，BDTC 2019早鸟票即将售罄，超强阵容及议题抢先曝光！
大会官网:https://t.csdnimg.cn/U1wA 2019 年12月5-7 日,由中国计算机学会主办,CCF 大数据专家委员会承办,CSDN.中科天玑数据科技股份有限公司协办的 2019 ...
- 倒计时1天 | 2019 AI ProCon报名通道即将关闭（附参会指南）
2019年9月5-7日,面向AI技术人的年度盛会-- 2019 AI开发者大会 AI ProCon,震撼来袭! 2018 年由 CSDN 成功举办 AI 开发者大会一年之后,全球 AI 市场正发生着 ...
- 百度AI快车道—企业深度学习实战营，推荐系统主题专场即将开课
身处信息过载的时代,在各大门户网站上,每天会有十万左右的新闻报道产出,京东淘宝等购物平台每小时就有上百万的商品上架出售,在B站.优酷.爱奇艺.搜狐等视频网站上每秒就有几百个小时的视频上线.所有人都正在 ...
最新文章
- Latex 设置文字大小
- C标准库assert.h实现
- BigData：根据最新2018人工智能行业创新企业Top100名单，绘制AI地区热点图，一目了然，看清哪个是AI最热门城市，以及VC最AI的热门领域
- 防止Stack smash的技术
- 写一个js向左滑动删除 交互特效的插件——Html5 touchmove
- js 操作cookies 方法
- GIS基础知识汇总篇（五）-无人机真正射影像的概念和制作原理
- Linux下environ环境变量操作函数
- delve应该安装到哪_消防水炮安装高度为多少米标准
- java第三方包学习之jsoup
- 四轮驱动移动机器人(4WD)运动模型及应用分析（图片版）
- 磁盘一把锁一个感叹号_TBase中的一些锁
- linux dhcp服务器配置及小实验
- Atitit 知识管理之 经济学概论 attilax 学习心得
- Java编写五线谱上的音符_五线谱入门（三）——音符详解
- R语言plot函数参数合集
- 苹果手机连wifi跳不出来登录网页解决办法
- 爬虫实战 ——百度翻译
- css 打造3D导航
- [html5游戏开发]数独游戏-完整算法-开源讲座