📑 Table of Contents▼

Ada，是一种程序设计语言。它源于美国国防部在二十世纪七十年代的计划，旨在整合美军系统程序设计语言，而当时美军系统运行着上百种不同的程序设计语言，并提高除錯能力和效率，由Pascal及其他语言扩展而成，接近自然語言和数学表达式，用「Ada」命名以纪念埃达·洛夫莱斯（Ada Lovelace）。

Ada
编程范型多范式
設計者
发行时间1980年
型態系統静态、强类型、安全、标明（英语：Nominal type system）
操作系统跨平台
網站http://www.adaic.org/
主要實作產品
AdaCore GNAT,

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

DDC-I（英语：DDC-I） Score
衍生副語言
SPARK、Ravenscar profile（英语：Ravenscar profile）
受影响于
ALGOL 68, Pascal, C++（Ada 95）, Smalltalk（Ada 95）, Modula-2 (Ada 95) , Java（Ada 2005），Eiffel（Ada 2012）
影響語言
C++, Eiffel, PL/SQL, VHDL, Ruby, Java
Ada吉祥物

重要特征

编辑

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

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

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

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

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

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

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

历史

编辑

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

 
英語维基文库中相关的原始文献：
Steelman language requirements

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

应用

编辑

1994年，中国已将Ada作为军事领域的标准语言，并将使用Ada构建北京空中交通管制系统。[4]

Ada语言的示例程序

编辑

Hello, World!程序： 

with Ada.Text_IO; use Ada.Text_IO;

procedure Hello is
begin
    Put_Line("Hello, world!");
end Hello;

在Ada.Text_IO.Put_Line处有一些捷径，不需要很多的文字输入，但是对于这里的理解来讲并没有多大意义。细节性的问题請参考Ada Programming/Basic。

判定一个字符串是否为回文的函数（递归）:

-- 判定一个字符串是否是回文
function is_palindrome(str : in String) return Boolean is
    len : Natural := str'Length;
begin
    if len <= 1 then
        return True;
    elsif Element(To_Unbounded_String(str), 1) = Element(To_Unbounded_String(str), len) then
        declare
            new_str : String(1..len-2);
        begin
            new_str := Slice(Source => To_Unbounded_String(str),
                             Low    => 2,
                             High   => len - 1);
            return is_palindrome(str => new_str);
        end;
    else
        return False;
    end if;
end is_palindrome;

定义一个函数用来判定一字符串是否为回文：

-- 判定一个字符串是否是回文
function is_palindrome(str : in String) return Boolean is
    len : Natural := str'Length;
begin
    for i in 1 .. len / 2 loop
        if Element(To_Unbounded_String(str), i) /= Element(To_Unbounded_String(str), len - i + 1) 
        then
            return False;
        end if;
    end loop;
    return True;
end is_palindrome;

参见

编辑

参考书目

编辑

国际标准

编辑

书目

编辑
 
維基教科書中的相關電子教程：Ada Programming

Ada的百科

编辑

总体信息

编辑

辅助工具书

编辑

工程

编辑

参考文献

编辑
  1. ^ Technical Corrigendum for Ada 2012 published by ISO. Ada Resource Association. 2016-01-29 [2016-02-23]. （原始内容存档于2016-03-04）. 
  2. ^ Consolidated Ada 2012 Language Reference Manual. Ada Conformity Assessment Authority. [2016-02-23]. （原始内容存档于2016-03-03）.  |dead-url=和|url-status=只需其一 (帮助)
  3. ^ Technical Corrigendum 1 for Ada 2012. Ada Conformity Assessment Authority. [2016-02-23]. （原始内容存档于2016-03-02）.  |dead-url=和|url-status=只需其一 (帮助)
  4. ^ Riehle, Richard. Ada in China. ACM SIGAda Ada Letters. 1994-07, XIV (4): 72–75 [2025-05-09]. ISSN 1094-3641. doi:10.1145/181476.181483. 

外部链接

编辑

📚 Artikel Terkait di Wikipedia

结对编程

结对编程（英語：Pair programming）是一种敏捷软件开发的方法，两个程序员在一个计算机上共同工作。一个人输入代码，而另一个人审查他输入的每一行代码。输入代码的人称作驾驶员，审查代码的人称作观察员（或导航员）。两个程序员经常互换角色。 在结对编程中，观察员同时考虑工作的战略性方向，提出改

最大的软件公司列表

Comanies, Software/Programming. Forbes. [2016-05-21]. （原始内容存档于2017-01-19）.  Forbes 2000 The World's Biggest Public Companies: Software and Programming. Forbes

软件工程

面指的是完成一个功能的对象和函数的集合。在这一方面相关的内容有泛型编程（Generic Programming）和模板。 系统工程師主要處理系統的整體需求和設計，包括硬體與人力問題。 軟體工程(Software Engineering;SE). 勤益科技大學. [2015-02-24]. （原始内容存档于2021-01-23）

线性规划

线性规划（英語：Linear Programming，简称LP）是一种数学方法，通过线性方程或不等式描述问题的约束条件和目标，以实现最佳结果（例如利润最大化或成本最小化）。作为最优化的一种特例，线性规划在许多领域都有重要应用。 更严谨地说，线性规划旨在优化一个线性目标函数，该函数需满足一定的线性等

GNU

（原始内容存档于2015-03-16）.  Kerrisk, Michael. The Linux Programming Interface: A Linux and UNIX System Programming Handbook. October 2010: 5–6 [2016-03-05]. ISBN 9781593272203

自由软件基金会

自由軟件基金會（英語：Free Software Foundation，縮寫：FSF）是一個致力於推廣自由軟件的美國民間非營利性組織。它於1985年10月由理查德·斯托曼与其他四个创始董事建立。其主要工作是執行GNU計劃，開發更多的自由軟件。 從其建立到1990年代中自由軟件基金會的基金主要被用來僱

模块化编程

模块化编程（英語：modular programming），是强调将计算机程序的功能分离成独立的軟體模組的软件设计技术，軟體模組（Software Module）是模組化編程的基本單元。模块化编程使得每个模块都包含着执行预期功能的唯一方面（aspect）所必需的所有东西。

Arduino

Project Podcast Sheepdog Software's Introduction to Arduino（页面存档备份，存于互联网档案馆）："Getting Started" pages and sequenced programming tutorials, with help on