ISO 审批通过 Ada 2012 语言标准

Ada 资源协会 (ARA) 和 Ada 欧洲在 2012年12月18日 瑞士 日内瓦 发布公告称最新版本的 Ada 编程语言 2012 已经通过了 ISO 国际标准化组织的审批。正式的审批材料由 ISO/IEC JTC 1 在11月20日就已发布，标准的发布是在12月15日。

Ada 2012 对 Ada 语言做了很大的改进，其中最核心的就是基于合约的编程方法(contract-based programming)。关于 Ada 2012 的新特性请看这里。