Ada

AdaCore GNAT,
Green Hills Software（英语：Green Hills Software） Optimising Ada 95 compiler,

Ada，是一种程序设计语言。它源于美国军方的一个计划，旨在集成美军系统中运行着上百种不同的程序设计语言编写的程序，并提高调试能力与效率，由Pascal及其他语言扩展而成，比较接近自然语言和数学表达式，并用“Ada”命名以纪念埃达·洛夫莱斯（Ada Lovelace）。

Ada语言最早是针对嵌入式和实时计算设计的，并且在现今依然在这些方面广泛使用。Ada95版，是由INTERMETRICS公司的塔克·塔夫特于1992到1995年间设计的，当时主要是希望改进对于系统、数字、财务软件编程的支持。

Ada语言的重要特征就是其嵌入式风格，模块化编程，编译检查，平行处理，异常处理及泛型编程。Ada在1995年加入了对面向对象设计的支持，包括动态分配等。

Ada的编译检查主要是针对没有分配的内存读写的保护，堆栈溢出错误，单个错误空闲，队列读写错误以及其他可以避免的小问题。这些检查可以在为增加效率的情况下被取消，但是在编译的时候他们却能带来很高的效率。同样它也包括对程序的严正的设置。因为这些原因，它被广泛应用于一些非常重要的系统中，例如航空电子学，武器及航天飞行器的操作系统中。

同样它支持很多的编译时间检查，这些检查被用来避免一些错误的发生。这种错误往往是在其他语言中运行之前难以被察觉到的，需要在源码中加入特殊的检查设置才能被发现。

Ada的动态内存管理非常安全和高规格，它类似于JAVA语言却不同于C语言的。这种特殊功能并不需要特殊的运行设置。尽管这种语言的语意结构允许对于不能读写的目标进行自动的碎片搜集，但是大多数运行都不支持它。Ada却支持有限形式基于区域的存储管理。无效的读写常在运行时候被检查出来（除非这种检测被人为关闭）并且有时候在编译时候就被发现。

Ada语言的定义同国际标准化组织（ISO）的标准有很大不同，因为他是一个自由内容形式的。这种做法的后果是被广大程序员只能从它的标准化文档（普遍认为是Ada的参考使用手册（ARM））寻找细节性的技术问题，但是普遍情况是一本标准教科书却可以在其他不同语言上使用。

Ada语言由严格的巴斯特范式定义，但是不适合一般人阅读。它是第一种同时拥有IEC/ISO/美国军用标准认证的语言，其编译器经过严格的审查，以确保同样的代码在任一编译器上产生同样的可执行效果，并且保证并行性在代码级可以在无操作系统下同样运行。

在1970年代，美国国防部（DoD）所属的嵌入式计算机系统项目中使用的编程语言数量逐日增多，其中的很多语言十分陈旧或者依赖于硬件，而且没有一个支持安全的模块化编程，对此DoD感到十分担心。基于这个原因，在1975年成立了高级语言工作组（HOLWG），它的使命是就是寻找或者创造某种适合国防部需要的编程语言，以便减少现有编程语言数量。该小组最终的工作成果就是Ada语言。由此，类似项目中使用的高级编程语言的数量大大减少了，1983年的450种编程语言，到1996年只剩下37种。

工作组开发出了语言要求文档—文档。许多现存的语言都被仔细地检查，但是1977年这个团队却声称没有任何现存语言符合他们的条件。

一个Ada语言编写的Hello, World!程序：

with Ada.Text_IO; procedure Hello isbegin    Ada.Text_IO.Put_Line("Hello, world!");end Hello;