Ada语言的这二十年

CROSSTALK（美国国防软件工程杂志， www.crosstalkonline.org）2017年1/2月号的专题是“Software’s Greatest Hits and Misses”，其中有两篇文章回顾了从1997年取消Ada Mandate（强制要求使用Ada编程语言的美国国防部政策）以后这二十年的Ada语言。

第一篇文章的题目是“Ada: A Failure That Never Happended”。文中写道：“Ada的死亡与失败从未发生。它曾经是、并且现在还是美国国防部产生的较好成果之一。”

第二篇文章的题目是“Ada-20 Years After the Mandate” 。文中写道：“如果上世纪九十年代中期预测到21世纪将出现互操作性、特别是网络安全性等挑战，也许美国国防部的政策制定者会用另外的眼光审视Ada。Ada改变了有关国防软件工程的对话。除了别的贡献以外，Ada提升了正确性、可靠性、安全性、互操作性和架构等。”

文中列出Ada各版本的主要特色如下：

Ada83：

—Packages

—Exception Handling

—Generic Program Units

—Parallel/Concurrent Processing

—Strong Typing

Ada95：

—Object-Oriented Programming

—Other

Ada2005：

—Improvements to OO usage

—Enhanced embedded support

—Enhanced real-time support

—Enhancements supporting safety, portability and interoperability

Ada2012：

—Formal methods

—More powerful assertion mechanisms (pre- and post-conditions)

—Contract-based programming

—Memory usage enhancements

—Improvements to the container library

—More powerful use clauses

—Additional uses of incomplete types that simplify the construction of nested containers.

文中列出使用Ada的一些项目如下：

—Rosetta “Comet Chaser”

—CubeSat

—Paris-London Eurostar

—Paris Metro Line 14 (Driverless Subway line)

—U.S. and U.K. Air Traffic Control

—Cassini-Huygens Mission to Saturn

—Boeing 777 and 787

—London Victoria underground

—New York City subway