Ada

简介

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年该团队声称无任何现存语言匹配它们条件。