ada程序如何编译

A. Ada语言的简介

Ada的出现，标志着软件工程成功地进入了国家和国际的规模。在一定意义上说，Ada还刺破了“冯.诺依曼思维模式” (Von Newman Mind-set) 的桎梏，连同Ada的 支持环境(APSE)一起，形成了新一派的所谓 Ada文化。它是迄今为止 最复杂，最完备的软件工具。 Ada语言是 美国国防部指定的 唯一的一种可用于 军用系统开发的语言，我国军方也将Ada做为军内开发标准（GJB 1383《程序设计语言Ada》）。
-------------------------------------------------------------------------------- 美国国防部之所以把这种语言取名为Ada，是为了纪念奥古斯特. 艾达.洛夫莱斯伯爵夫人 (Augusta Ada Lovlace 1815-1852),她是英格兰诗人拜伦(Byron)勋爵的女儿,曾对现代计算机技术之父查尔斯.巴贝奇(Charles Babage)的笔记，手稿进行了整理和修正。从某种意义上说，她是世界上第一位计算机程序员。
-------------------------------------------------------------------------------- 在明白这个问题之前，需要了解 Ada 的一系列特性。Ada 最初设计就是一门大型语言，因此在很多编程的重要问题上都有所考虑，以下文字摘自《 Ada Reference Manual》：
Ada最初设计时关注于 3 个最重要的问题：程序的稳定性和可维护性，程序设计和人的行为接近，并且高效。这份语言的修订版是为了提供更大的灵活性和扩展性，存储管理的额外控制和同步，以及标准化的程序包以支持重要的应用程序领域，同时保留原来的重点：稳定性，可维护性，和高效。对于程序设计语言促进可靠性和简化维护难度的需求已被确立。因此程序可读性的重要性高于轻松地写代码。例如，语言规则要求程序变量应当明确声明并指定它们的类型。由于变量的数据类型是不变的，编译器可以确保对于变量的操作适用于该类型的对象。另外，有错误倾向的符号已经避免，并且语言语法避免了编码形式的使用，使更倾向于英语的结构。最后，Ada 语言提供了程序单元单独编译的功能，使程序开发和维护简便，同样也提供了在一个单元内多个单元之间的检测。考虑人类程序员的问题也在设计时被强调。总而言之，在继续避免过多复杂句型的缺陷的同时，尝试以一致系统的方式保持相对较少的底层概念。
------------------------------------------------------------------------------ Ada语言最早是针对嵌入式和实时系统设计的，并且在今天依然在这方面使用广泛。Ada95版，是由INTERMETR ICS公司的塔克。塔夫特于92到95年间设计的，当时主要是希望改进对于系统，数字，财务软件编程的支持。
Ada语言的重要特征就是其嵌入式风格，模块化设计，编译检查，平行处理，异常处理及泛型编程。Ada在95年加入了对面向对象设计的支持，包括动态分配等。
Ada的编译检查主要是针对没有分配的内存读写的保护，堆栈溢出错误，单个错误空闲，队列读写错误以及其他可以避免的小问题。这些检查可以在为增加效率的情况下被取消，但是在编译的时候他们却能带来很高的效率。同样它也包括对程序的严正的设置。因为这些原因，它被广泛应用于一些非常重要的系统中，例如航空电子学，武器及航天飞行器的操作系统中。同样它支持很多的编译时间检查，这些检查被用来避免一些错误的发生。这种错误往往是在其他语言中在运行以前都不能被察觉到的，需要在源码中加入特殊的检查设置才能被发现。
Ada的动态内存管理非常安全和高规格，它类似于java语言却不同于C语言的。这种特殊功能并不需要特殊的运行设置。尽管这种语言的语意结构允许对于不能读写的目标进行自动的碎片搜集，但是大多数运行都不支持它。A da却支持有限形式基于区域的存储管理。无效的读写常在运行时候被检查出来（除非这种检测被人为关闭）并且有时候在编译时候就被发现。
Ada语言的定义同国际标准化组织（ISO）的标准有很大不同，因为他是一个自由内容形式的。这种做法的后果是被广大程序员只能从它的标准化文档（普遍认为是Ada的参考使用手册（ARM））寻找细节性的技术问题，但是普遍情况是一本标准教科书却可以在其他不同语言上使用。 Ada语言由严格的巴斯特范式定义,但是不适合一般人阅读.它是第一种同时拥有IEC/ISO/美国军用标准认证的语言. 其编译器经过严格的审查,以确保同样的代码在任一编译器上产生同样的可执行效果.并且保证并行性在代码级可以在无操作系统下同样运行.
Ada语言最初设计是为了构建长周期的、高度可靠的软件系统。它提供了一系列功能来定义相关的数据类型(type) 、对象(object)和操作(operation)的程序包(package)。程序包可以被参数化，数据类型可以被扩展以支持可重用库的构建。操作既可以使用方便的顺序控制结构，通过子程序(subprogram)来实现，也可以通过包含并发线程同步控制的入口(entry)来实现。
Ada也支持单独编译(separate compilation)，在物理层上支持模块性。 Ada包含了很复杂的功能以支持实时(real-time),并发程序设计(concurrent programming)。错误可以作为异常(exception)来标示，并可以被明确地处理。
Ada也覆盖了系统编程(system programming)；这需要对数据表示和系统特性访问的精确控制。最后，提供了预定义的标准程序包，包括输入输出、字符串处理、数值计算的基本函数和随机数生成来。

B. 编程编程编程

太多啦，每种语言用途可能不一样啊，有什么好比的
还不让抄连接，我给你写到天亮啊

C. 为什么开发出了这么多的编程语言

一个简单的解释：不同的领域有不同的需求！于是为了适应不同的应用场景，一个一个的编程语言诞生了。
对于科学和工程计算领域，要大量的处理数据的计算，如矩阵的计算，于是FORTRAN语言，就很好的适应了这一点；
对于数据需要能够很好的查询、修改等操作，可能SQL语言就是一个不错的语言；
对于一些底层操作的需求，c和c++可能就很好的能够适应这一点……

【译文】程序语言简史（伪）http://www.soimort.org/posts/160/
1801 - Joseph Marie Jacquard用打孔卡为一台织布机编写指令，在挂毯上织出了“hello, world”字样。当时的reddit网友对这项工作的反响并不热烈，因为它既缺少尾递归调用，又不支持并发，而且甚至都没有注意在拼写时恰当地区分大小写。

Jacquard织布机是第一台可进行程序控制的织布机。用打孔卡进行编程的概念，直到电子计算机被发明出来之后仍然被广泛运用。
最早的Hello World程序（出自K&R C）打印的是全小写的字符串："hello, world"。
在许多英文技术社区里，不正确地使用大小写发贴会被视作是小白的行为。（如把“python”拼作“python”，把“FreeBSD”拼作“freebsd”，把“Qt”拼作“QT”）
reddit / Hacker News的月经帖标题：“.*: a new .*-based .* programming language”。底下常见的回帖形式：“它支持并发吗？”“没有尾调用优化果断差评。”“现在的编程语言已经足够多了，为什么我们还需要更多的语言？”……
1842 - Ada Lovelace写了世界上第一个程序。她的努力只遇到了一点点小小的麻烦，那就是：实际上并没有任何计算机能够用来运行她的程序。后来的企业架构师们重新吸收了她的这个技能，用来学习如何更好地使用UML进行编程。

Ada Lovelace为Charles Babbage的分析机写了一个计算伯努利数的算法实现，因此被后世公认为是世界上第一个程序员。实际上，分析机由于其设计思想过于先进，在当时根本没有被制造出来。（Babbage的分析机一般被认为是现代电子通用计算机的先驱）
讽刺现在的某些“软件架构师”顶多只会纸上谈兵地画画UML。
1936 - Alan Turing发明了世间一切程序语言的最终形态，但很快他就被英国军情六处“请”去当007了，以至于他根本来不及为这些语言申请专利。

与通用图灵机（Universal Turing machine）等价的语言被称为图灵完备的（Turing completeness），它定义了“什么样的语言可以被称作是程序语言”。
二战期间Turing曾秘密地为英国军方工作，破解德军的Enigma密码机，并在战后被授予大英帝国勋章。但这项事实直到多年以后才向公众公开。
1936 - Alonzo Church同时也发明了世间一切程序语言的最终形态，甚至做得更好。但他的λ演算被绝大部分人忽视了，因为它与C语言“不够像”。尽管存在着这样的批评，但事实上，C在当时还没有被发明出来。

Church是Turing在Princeton的博士生导师，他在λ演算方面的工作先于Turing指出了不存在一个对可判定性问题的通用解法，这后来证明和Turing针对停机问题提出的图灵机模型是等价的。即着名的Church-Turing论题。
说Church“甚至做得更好”，因为λ演算为后世所有的函数式语言提供了理论基础。
现在一种常见的关于函数式编程的批评就是：“它们与C语言不够像”。
1940年代 - 一些直接采用布线和开关来进行程序控制的“计算机”出现了。工程师们当时这么做，据说是为了避开“用空格还是用制表符缩进”这样的论战。

据说当时负责设计ENIAC的工程师中间曾经发生过这样的争论：
空格比制表符好。
制表符比空格好。
4个空格比8个空格好。
什么？用2个空格的统统烧死。
关于这台具有里程碑意义的人类史上第一台电子计算机ENIAC上应该预装何种编辑器，工程师们还发生过这样的争吵：
Vim比Emacs好！
Emacs比Vim好！
强烈推荐Sublime Text。
你丫用编辑器的都是找虐，IDE才是王道。
没错，要用就用世界上最好的公司微软开发出来的世界上最好的IDE：Visual Studio。
我早就看透了无谓的编辑器论战什么的了，我要告诉楼上吵架的，你们全都是傻逼！
最后，工程师们一致决定使用布线和开关来为他们即将发明的计算机进行编程，机智地避开了所有这些无谓的争吵，最终齐心协力创造出了人类历史上第一台电子计算机：ENIAC。（鼓掌

（图：两位ENIAC程序员在运用敏捷开发方法进行愉快的结对编程。“自从抛弃伴随我多年的Emacs和HHKB Pro、改用布线和开关进行编程之后，我的左手小指麻痹奇迹般地痊愈了。”其中一位接受采访时如是说。另一位则表示：“新的编程方式让曾经专注颈椎病20年的我得到了彻底的康复，不用再整天盯着显示屏，身心同时得到了极大的放松，值得大力推广！”）
1957 - John Backus和IBM发明了FORTRAN语言。关于IBM或FORTRAN并没有什么特别好笑的地方。除了，写FORTRAN程序的时候不系蓝领带将被编译器视作是一个syntax error。

蓝领带、白衬衫、深色西装似乎是IBM公司20世纪经典的dress code。
早期FORTRAN（FORTRAN 77）对程序书写格式的要求那是相当严格。（例如，蛋疼的固定格式缩进）
1958 - John McCarthy和Paul Graham发明了LISP。由于冷战期间的战略括号资源储备所造成的巨大成本，LISP从未流行过。尽管欠缺足够的流行度，LISP（现在叫做“Lisp”，有时叫“Arc”）仍然被视作一门有影响力的语言，在关键的算法思想诸如递归（recursion）和提升逼格（condescension）上尤为典范。
（原文的脚注：

幸运的是对于计算机科学来说，花括号和尖括号的供应尚充足。

“关键的算法思想”这一说法来自于Verity Stob的Catch as catch can。）

战略括号储备：据信是因为克格勃对于他们费尽千辛万苦搜集到的程序片段全都是括号感到极端愤怒，于是封锁了世界各地的括号矿产资源，导致白宫方面不得不加强战略浓缩括号的储备。（误
LISP发明的那一年Paul Graham其实还没有出生。据说是因为某本叫做《Haste and Waste》的伪程装黑圣典实在太有名了，以至于许多编程小白们把写这本书的传奇人物同Lisp之间画上了等号。
提升逼格确实是一种与递归调用同样关键的算法思想。嗯，你懂的。
1959 - 在输掉了和L. Ron Hubbard之间的一场打赌之后，Grace Hopper和其他几个抖S发明了所谓的“面向Boilerplate的全大写化语言（Capitalization Of Boilerplate Oriented Language，COBOL）”。多年以后，由于一些被误导的、性别歧视主义者对Adm. Hopper关于COBOL的工作的报复，在Ruby技术会议上不时会看到一些厌女主义乃至仇视女性的材料出现。

L. Ron Hubbard是山达基教（Scientology）的创始人，二战期间曾与Grace Hopper同样供职于美国海军。（尚不清楚这两人之间有无其他联系）
COBOL语言以代码极其冗长和通篇大写字母的书写风格而闻名。
Adm. Hopper：Grace Murray Hopper女士的军衔是Rear Admiral Lower Half，即美国海军准将。
Ruby技术会议与性别歧视：在09年的GoGaRuCo会议上，有人做了一场题为“CouchDB perform like a pr0n star”的报告，幻灯片演示中使用了大量色情材料，引起了在场的少数女性观众的极大不适（“This was a national conference, not a gathering of teenager boys in a smelly upstairs bedroom!”）。会后，DHH（Ruby on Rails的作者）发推表示“it's "absolutely" appropriate to use porn in a business presentation”。关于其他更多技术会议上出现的性别歧视事件，参见这里。
1964 - John Kemeny和Thomas Kurtz创造了BASIC，一个为非计算机科学家设计的非结构化的程序语言。
1965 - Kemeny和Kurtz两人goto到了1964。

调侃BASIC语言对行号和goto的无节制滥用。
1970 - Guy Steele和Gerald Sussman创造了Scheme。他们的工作导致了一系列以《Lambda之究极（Lambda the Ultimate）……》为标题开头的论文发表，并在《Lambda之究极厨房神器》这一篇中达到了最高潮。以这篇论文为基础，开始了一个长年累月的、收视率究极失败的晚间电视购物节目。Lambda们因为其概念相对难以理解而被大众所忽视，直到未来的某一天，Java语言终于让它们变得有名了起来。通过不包含它们这件事情。

Lambda之究极神器系列：（Lambda之究极命令式编程、Lambda之究极宣告式编程、Lambda之究极GOTO语句、Lambda之究极Opcode）
Guy Lewis Steele, Jr. and Gerald Jay Sussman. "Lambda: The Ultimate Imperative"). MIT AI Lab. AI Lab Memo AIM-353. March 1976.
Guy Lewis Steele, Jr.. "Lambda: The Ultimate Declarative". MIT AI Lab. AI Lab Memo AIM-379. November 1976.
Guy Lewis Steele, Jr.. "Debunking the 'Expensive Procere Call' Myth, or, Procere Call Implementations Considered Harmful, or, Lambda: The Ultimate GOTO". MIT AI Lab. AI Lab Memo AIM-443. October 1977.
Guy Lewis Steele, Jr. and Gerald Jay Sussman. "Design of LISP-based Processors, or SCHEME: A Dielectric LISP, or Finite Memories Considered Harmful, or LAMBDA: The Ultimate Opcode". MIT AI Lab. AI Lab Memo AIM-514. March 1979.
后来大概有人觉得每次都投一篇正式的paper太麻烦了，于是干脆专门开了一个博客，名字就叫做Lambda the Ultimate。这样他们将来要发《Lambda之究极割草机》《Lambda之究极厕所皮拔子》这样的营销广告就更加方便了。
长年累月的收视率究极失败的晚间电视购物节目：也许是在暗讽MIT专注用SICP作为教给CS学生的第一门编程课20余年。
众Java程序员：听说Java 8要开始支持lambda了，想来Java真是极先进的……等一下，我先看看lambda是个啥玩意？
于是lambda这个“新鲜货”就一下子在主流业界变得流行起来了。
1970 - Niklaus Wirth创造了Pascal，一个过程式的语言。很快就有人开始声讨Pascal，因为它使用了类似“x := x + y”这样的语法，而不是更为人熟知的类C语法“x = x + y”。尽管存在着这样的批评，而事实上当时C还没有被发明出来。
1972 - Dennis Ritchie发明了一把射击时能同时向前和向后两个方向发射子弹的绝世好枪。但他对此发明造成的致死和终身残疾数量感到还不够满意，所以他又发明了C语言和Unix。

翻译君：……
1972 - Alain Colmerauer设计了逻辑编程语言Prolog。他的目标是创造一个具有两岁小孩智商的程序语言。为了证明他成功达到了这个目标，他展示了一个Prolog程序，它对于每条查询都会机智地给出相同的回答：“No”。
Ask me anything!
?-
1973 - Robin Milner创造了ML，一个建立在M&M类型理论基础上的语言。由ML衍生而来的SML加上了一套形式语义的规范。当被要求给这个形式语义本身书写一套形式语义时，Milner的脑子爆掉了。其他ML家族的着名语言还包括OCaml，F#，和，Visual Basic。

SML的形式语义规范事实上被写成了这样一本书（SML'97）：《The Definition Of Standard ML》。
ML明显是建立在H-M（Hindley–Milner）类型推断的基础上的，不太清楚原文所说的M&M类型理论是在吐槽神马……

Visual Basic近年来吸收了函数式编程里的不少东西（不知道是不是因为受到了F#影响的缘故）。最典型的是它具备和ML相似的类型推断。
1980 - Alan Kay创造了Smalltalk并发明了“面向对象”这个词。当被问到它的含义时，他回答道：“Smalltalk程序本身就是对象。”当被问到对象是由什么组成时，他回答到：“对象。”当再一次被问到这个问题时，他说“看，它从里到外都是对象。直到你抽出一只乌龟。”

Smalltalk的设计从很大程度上受到了Logo的影响。
1983 - 为了纪念伟大的先辈程序员Ada Lovelace那能够写出永远也无法被执行的代码的彪悍技能，Jean Ichbiah和美国国防部创造了Ada语言。尽管缺乏证据显示有任何重要的Ada程序曾经被完成过，历史学家仍然确信Ada是个成功的公益项目，它让数以千计的国防承包商免于沦落为与黑帮为伍。

Ada曾经是美国国防部指定的嵌入式计算机系统唯一开发语言，在其研发上耗资巨大。（国防承包商们于是不用靠贩卖军火给黑帮来维持生计了）
虽然有充分的证据显示Ada的整型范围溢出检查失败导致弄坏了欧空局的一枚Ariane 5运载火箭，不过美国国防部发言人对此表示：关我P事。
1983 - Bjarne Stroustrup把他所听说过的一切都试图嫁接到C上，创造出了C++。最后得到的语言是如此地复杂，以至于程序必须被送到未来去让“天网”人工智能进行编译。编译时间难以容忍。天网开展这项服务的动机仍然不为人知，但来自未来的发言人说道：“没什么好担心的，宝贝。”带着一口奥地利腔的机械口音。有一些来自坊间的推测，所谓的天网只不过是个自命不凡的缓冲区溢出而已。

这篇文章写出来的时候，一个被称作C++0x的新标准还遥遥无期。许多编译器对它的支持似乎永远停留在“partial”阶段。
请自行脑补终结者里的T-800……
无论什么都改变不了C/C++是个经典的“缓冲区溢出语言”的事实。
1986 - Brad Cox和Tom Love创造了Objective-C，宣称“该语言完美地结合了C的内存安全性与Smalltalk的神奇效率”。现在的历史学家怀疑这两人其实是诵读障碍症患者。

“C的内存安全性十分好”。
Smalltalk编译出来的程序以低效缓慢着称。
1987 - Larry Wall在电脑前打了个盹，Larry Wall的脑门子压到了键盘上。醒来之后，Larry Wall深信 ，在Larry Wall的显示器上出现的神秘字符串并非是随机的，那是某种编程语言之程序样例的神谕。那必是上帝要他的先知，Larry Wall，去设计的。Perl语言就此诞生了。
1990 - 一个由Simon Peyton-Jones、Paul Hudak、Philip Wadler、Ashton Kutcher和善待动物组织（PETA）组成的委员会创造了Haskell，一种纯函数式的、非严求值的语言。Haskell由于使用了Monad这种较费解的概念来控制副作用而遭到了一些批评意见。Wadler试图平息这些质疑，他解释说：“一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已，这有什么难以理解的？”

素食主义鼓吹者：为了获取食物而不必要地杀死动物是邪恶的；“纯函数式编程”鼓吹者：为了编程而引入不必要的副作用是邪恶的。
（科普帖）自函子说穿了就是把一个范畴映射到自身的函子，自函子范畴说穿了就是从小范畴映射到自身的函子所构成的以自函子为对象以自然变换为态射的范畴，幺半群说穿了就是只有单个对象的范畴，给定了一个幺半群则可构造出一个仅有单个对象的小范畴使其态射由幺半群的元素给出而合成由幺半群的运算给出，而单子说穿了就是自函子范畴上的这样一个幺半群。（这都不理解么亲连这种最基本的概念都不理解还学什么编程！）

又：“A monad is a monoid in the category of endofunctors（一个单子是自函子范畴上的一个幺半群）”这句话的原出处据信是Mac Lane的这本书：

1991 - 荷兰程序员Guido van Rossum为了一次神秘的手术而进行了一次阿根廷之旅。回来后他带着一个巨大的颅疤，发明了Python，而被数以军团计的追随者们加冕为“终生大独裁者”，并向全世界宣布“要办到一件事情，只可有唯一的一种方法！”。整个波兰陷入了恐慌。

BDFL（Benevolent Dictator for Life）：开源社区一种流行的说法，“仁慈的”终生大独裁者。这个说法最早指的就是Guido van Rossum。
希特勒在提出建立“纯正的雅利安人国家”“统一的大德意志帝国”并实现了德奥合并之后，翌年便入侵了波兰，引发了第二次世界大战。“我一个人征服了整个欧洲！”（感觉好棒好棒的）
1995 - 在家门口附近的一个意大利饭馆用餐时，Rasmus Lerdorf意识到他吃的那盘意面正好是一个用来理解WWW万维网的极好模型，而所有的Web应用都应该仿照它们的媒介那样去做。在他的餐巾的背后，他设计出了着名的“可编程超链接Pasta（Programmable Hyperlinked Pasta，PHP）”语言。PHP的文档至今仍然保留在那片餐巾上。

PHP最显着的特点就是：代码是可以直接嵌在HTML文档中的。
1995 - 松本“Mad Matz”行弘创造出了Ruby语言，用来辟谣一些意味不明的、有关澳洲将会变成一片由莫霍克族战士和Tina Turner统治的荒漠的末世预言。该语言后来被它的真正发明者David Heinemeier Hansson重新命名为Ruby on Rails。（关于某个叫松本行弘的人发明了一种叫做Ruby的语言这件事情从未发生过，最好在这篇文章的下一个版本中删掉。 - DHH表示）

最早关于Ruby的国际会议不是RubyConf，而是每年在澳大利亚举办的OSDConf。
这里应该是在吐槽Ruby的杀手级应用Ruby on Rails实在太有名了，以至于超越了原来的Ruby语言本身。
Matz并没有为“Ruby”这个名字注册商标——本着开源的黑客精神。
而DHH（RoR的作者）却把“Ruby on Rails”这个（包含了“Ruby”字样的）名称注册成了商标，并且阻止别人未经授权使用“Rails”这个名字。
（虽然抢注商标对开源来说未必是一件坏事情——Python基金会今年在欧洲还卷入了一场商标之争了不是）
假如你从来没听说过的话，莫霍克族战士据说是像这个样子的：

而Tina Turner看起来是这个样子的：

1995 - Brendan Eich读完了历史上所有在程序语言设计中曾经出现过的错误，自己又发明了一些更多的错误，然后用它们创造出了LiveScript。之后，为了紧跟Java语言的时髦潮流，它被重新命名为JavaScript。再然后，为了追随一种皮肤病的时髦潮流，这语言又被命名为ECMAScript。

WAT！Wat — Destroy All Software Talks
JavaScript和Java语言没有任何实质上的联系；就像ECMAScript和Eczema（湿疹）没有任何实质上的联系一样。（Brendan Eich曾表示：“ECMAScript was always an unwanted trade name that sounds like a skin disease.”）
但很多人觉得其实JavaScript设计中包含的错误还不够多，本着为程序语言的设计贡献更多错误这样的目的，他们群策群力创造出了更多的、JavaScript中未曾成功涵盖的错误。这儿有一个五花八门的列表，以供有志于为程序语言设计的谬误史添砖加瓦的人们参考。
1996 - James Gosling发明了Java。Java是一个相对繁冗的、带垃圾收集的、基于类的、静态类型的、单分派的面向对象语言，拥有单实现继承和多接口继承。Sun不遗余力地宣传着Java的独一无二不同凡响之处。
2001 - Anders Hejlsberg发明了C#。C#是一个相对繁冗的、带垃圾收集的、基于类的、静态类型的、单分派的面向对象语言，拥有单实现继承和多接口继承。微软不遗余力地宣传着C#的独一无二不同凡响之处。
2003 - 一个叫Martin Odersky的醉汉看见了好时瑞森花生酱杯的广告，展示了某个人的花生酱倒入另一个人的巧克力的场景，他忽然有了个点子。他创造了Scala，一种结合了面向对象和函数式编程的语言。这同时激怒了两个阵营的忠实信徒，他们立刻宣布要发动圣战烧死异教徒。

D. Ada语言的特点

专业人员往往要读很多程序，因此要避免像 APL 那种以过于简单的符号编程的语言，虽然它们的编程速度快，但基本上是不可读的。因此目前有种说法是：读一个程序比写类似的程序还要费时，这也是有一定道理的；特别是 C/C++ 的风格比较松散，很多语法都在滥用，使程序可读性相当低，由于 Ada 的语法接近人的语言，即使是初学者，也不会感到很难读懂。
强类型---保证了每个对象有明确定义的值域，并防止了不同概念的逻辑混淆。许多错误可以被编译器发现，而对于其它语言来说，则可能导致一个不正确的程序。 将数据描述的细节同基于该类型数据的操作相分离，以提高可移植性和可靠性。
多任务---使程序变成一系类的并发活动，而不是单一的顺序活动；这在很多领域，特别是对于服务器程序来说有重要意义，这比调用操作系统提供的功能更有易可移植性和可靠性。 很多情况下，程序的某逻辑部份与运行时值的类型无关。因此，需要提供一种机制，从一个样板中产生多个相应的程序段，以提高代码的可重用性。
大型编译---封装机制，单独编译及程序包的分层机制等对于编写大规模的程序来说是必不可少的。
Ada语言的"Hello,world!" 示例程序
一个Ada语言编写的"你好世界"Hello world program程序：
withAda.Text_IO;
procereHello isbegin
Ada.Text_IO.Put_Line("Hello, world!");
end Hello;
在Ada.Text_IO.Put_Line处有一些快捷图标，不需要很多的文字输入，但是对于这里的理解来讲并没有多大意义。
细节性的问题请参考Ada Programming/Basic。

E. 和C++相比，用ADA编程是怎样的体验

Ada语言是美国国防部指定的 唯一的一种可用于 军用系统开发的语言。
Ada语言的重要特征就是其嵌入式风格，模块化设计，编译检查，平行处理，异常处理及泛型编程。
缺点：啰嗦；优点：强类型，高性能，自带并发，面向对象，等等。
C++定义class，在Ada里要定义成Package，一样的哪些函数／过程／数据结构要公开，哪些要隐藏。当然没有类的继承了。C++模仿了Ada的类属，成为了所谓的模版template，还从Ada模仿了异常处理。用Ada语言主要还是为了它内建的多任务并发

F. 如何用GCC编译（在UNIX或Linux环境下）Ada和Java文件

ada使用gnat命令
java使用gcj命令
c用gcc
c++用g++

这些都是gcc...........

G. C语言文件的编译与执行的四个阶段并分别描述

开发C程序有四个步骤：编辑、编译、连接和运行。

任何一个体系结构处理器上都可以使用C语言程序，只要该体系结构处理器有相应的C语言编译器和库，那么C源代码就可以编译并连接到目标二进制文件上运行。

1、预处理：导入源程序并保存（C文件）。

2、编译：将源程序转换为目标文件（Obj文件）。

3、链接：将目标文件生成为可执行文件（EXE文件）。

4、运行：执行，获取运行结果的EXE文件。

(7)ada程序如何编译扩展阅读：

将C语言代码分为程序的几个阶段：

1、首先，源代码文件测试。以及相关的头文件，比如stdio。H、由预处理器CPP预处理为．I文件。预编译的。文件不包含任何宏定义，因为所有宏都已展开，并且包含的文件已插入。我归档。

2、编译过程是对预处理文件进行词法分析、语法分析、语义分析和优化，生成相应的汇编代码文件。这个过程往往是整个程序的核心部分，也是最复杂的部分之一。

3、汇编程序不直接输出可执行文件，而是输出目标文件。汇编程序可以调用LD来生成可以运行的可执行程序。也就是说，您需要链接大量的文件才能获得“a.out”，即最终的可执行文件。

4、在链接过程中，需要重新调整其他目标文件中定义的函数调用指令，而其他目标文件中定义的变量也存在同样的问题。

H. 谁会ADA语言，高分请求

如果你用GNAT的话（我不相信你用其他的），就很简单：
g++ -fmp-ada-spec -C xxx.h -DXLIB_ILLEGAL_ACCESS（最后这个参数可有可无，但这个参数可以保留更多有用的宏）
用-fmp-ada-spec生成的文件未必全部可以export过来。值得注意的是，虽然g++和gcc也可以这样，但是用gcc生成会生成一些不兼容的东西，还是用g++吧，具体见http://gcc.gnu.org/onlinedocs/gcc-4.7.0/gnat_ugn_unw/Running-the-binding-generator.html#Running-the-binding-generator
我写了一些例子：
header.h
class Test_t {
private:
int v;
public:
Test_t();
Test_t(int);
virtual void show() const;
int get() const;
~Test_t();
};

header.cpp
#include <iostream>
#include "header.h"
Test_t::Test_t() :v(1) { std::cout << "Default Constructor.\n"; }
Test_t::Test_t(int i) :v(i) { std::cout << "Param Constructor.\n"; }
void Test_t::show() const
{ std::cout << this << "\tv = " << this->v; }
int Test_t::get() const { return v; }

main.adb
with header_h;
with Ada.Text_IO;
with Interfaces.C;
use header_h.Class_Test_t;

procere Main is
package C_IO is new Ada.Text_IO.Integer_IO (Num => Interfaces.C.int);

Object_1 : aliased Test_t;
-- 调用默认构造函数
Object_2 : aliased Test_t := New_Test_t (7);
-- 调用以值传递、一个int类型参数的构造函数。
begin
C_IO.Put (Item => get (Object_1'Access), Width => 0);
Ada.Text_IO.New_Line;
show (Object_2'Access);
end Main;

g++ -fmp-ada-spec header.h -C -DXLIB_ILLEGAL_ACCESS
g++ -c header_h.ads -Ofast -s 最后两个参数可有可无
g++ -c main.adb -Ofast -s 也可有可无
gnatbind -x main
gnatlink main.ali header.o --LINK=g++
生成的程序的执行结果是：
Default Constructor.
Param Constructor.
1
0x24efed8 v = 7

执行成功，像iostream这样复打的头文件也可以成功，在输出(export)不是很困难的情况下，应该都是会成功

I. 什么是ADA

Ada是一种表现能力很强的通用程序设计语言，它是美国国防部为克服软件开发危机，耗费巨资，历时近20年研制成功的。它被誉为第四代计算机语言的成功代表。与其他流行的程序设计语言不同，它不仅体现了许多现代软件的开发原理，而且将这些原理付诸实现。因此，Ada语言的使用可大大改善软件系统的 清晰性， 可靠性， 有效性， 可维护性。
Ada的出现，标志着软件工程成功地进入了国家和国际的规模。在一定意义上说，Ada还刺破了“冯.偌依曼思维模式” (Von Newman Mind-set) 的桎梏，连同Ada的 支持环境(APSE)一起，形成了新一派的所谓 Ada文化。它是迄今为止 最复杂，最完备的软件工具。 Ada语言是 美国国防部指定的 唯一的一种可用于 军用系统开发的语言，我国军方也将Ada做为军内开发标准（GJB 1383《程序设计语言Ada》）。
--------------------------------------------------------------------------------
-- 为什么称作 Ada --
美国国防部之所以把这种语言取名为Ada，是为了纪念奥左斯特. 艾达.洛夫莱斯伯爵夫人 (Augusta Ada Lovlace 1815-1852),她是英格兰诗人拜伦(Byron)勋爵的女儿,曾对现代计算机技术之父查尔斯.巴贝奇(Charles Babage)的笔记，手稿进行了整理和修正。从某种意义上说，她是世界上第一位计算机程序员。
--------------------------------------------------------------------------------
-- 为什么使用 Ada? --
在明白这个问题之前，需要了解 Ada 的一系列特性。Ada 最初设计就是一门大型语言，因此在很多编程的重要问题上都有所考虑，以下文字摘自《 Ada Reference Manual》：
Ada最初设计时关注于 3 个最重要的问题：程序的稳定性和可维护性，程序设计和人的行为接近，并且高效。这份语言的修订版是为了提供更大的灵活性和扩展性，存储管理的额外控制和同步，以及标准化的程序包以支持重要的应用程序领域，同时保留原来的重点：稳定性，可维护性，和高效。对于程序设计语言促进可靠性和简化维护难度的需求已被确立。因此程序可读性的重要性高于轻松地写代码。例如，语言规则要求程序变量应当明确声明并指定它们的类型。由于变量的数据类型是不变的，编译器可以确保对于变量的操作适用于该类型的对象。另外，有错误倾向的符号已经避免，并且语言语法避免了编码形式的使用，使更倾向于英语的结构。最后，Ada 语言提供了程序单元单独编译的功能，使程序开发和维护简便，同样也提供了在一个单元内多个单元之间的检测。考虑人类程序员的问题也在设计时被强调。总而言之，在继续避免过多复杂句型的缺陷的同时，尝试以一致系统的方式保持相对较少的底层概念。
------------------------------------------------------------------------------
ada的特性：
易读性---专业人员往往要读很多程序，因此要避免像 APL 那种以过于简单的符号编程的语言，虽然它们的编程速度快，但基本上是不可读的。因此目前有种说法是：读一个程序比写类似的程序还要费时，这也是有一定道理的；特别是 C/C++ 的风格比较松散，很多语法都在滥用，使程序可读性相当低，由于 Ada 的语法接近人的语言，即使是初学者，也不会感到很难读懂。
强类型---保证了每个对象有明确定义的值域，并防止了不同概念的逻辑混淆。许多错误可以被编译器发现，而对于其它语言来说，则可能导致一个不正确的程序。
异常处理---实际中，一个程序不可能保证它的正确性；因此，通过异常机制及分块结构，将错误发生的影响控制在某一特定领域。
抽象数据类型---将数据描述的细节同基于该类型数据的操作相分离，以提高可移植性和可靠性。
多任务---使程序变成一系类的并发活动，而不是单一的顺序活动；这在很多领域，特别是对于服务器程序来说有重要意义，这比调用操作系统提供的功能更有易可移植性和可靠性。
类属单元---很多情况下，程序的某逻辑部份与运行时值的类型无关。因此，需要提供一种机制，从一个样板中产生多个相应的程序段，以提高代码的可重用性。
大型编译---封装机制，单独编译及程序包的分层机制等对于编写大规模的程序来说是必不可少的。
Ada语言的"世界，你好!" 示例程序
一个Ada语言编写的"你好世界"Hello world program程序：
with Ada.Text_IO; procere Hello isbegin Ada.Text_IO.Put_Line("Hello, world!");end Hello;
在Ada.Text_IO.Put_Line处有一些快捷图标，不需要很多的文字输入，但是对于这里的理解来讲并没有多大意义。细节性的问题请参考Ada Programming/Basic。

J. Ada语言的宏语言

Ada语言自身并不支持宏。但是强大的GCC却同样的可以为Ada语言提供宏支持。我们可以使用GCC预处理程序CPP来先进行对包含宏的源文件进行处理，输出到文件，然后将该输出文件读取并除去以#开头的行即获得了标准的Ada代码。
CPP命令：
CPP SOURCE_FILE RECORD_FILE
接着需要自己写一个处理程序来去除CPP输出文件中的#开头的行。
--文件读取函数：
type LPSTR is access all string;
-- Load a file by file-name into memory,return pointer
function Load(fn:in string) return LPSTR is
use ada.streams;
use ada.streams.stream_io;
type LPSEA is access all STREAM_ELEMENT_ARRAY;
PRAGMA WARNINGS(OFF);
function UC is new ada.unchecked_conversion(LPSEA,LPSTR);
PRAGMA WARNINGS(ON);
FILE:FILE_TYPE;
SIZE:COUNT;
DATA:LPSEA:=NULL;
begin
open(FILE,IN_FILE,fn);
SIZE:=STREAM_IO.SIZE(FILE);
DATA:=NEW STREAM_ELEMENT_ARRAY(1..STREAM_ELEMENT_OFFSET(SIZE));
READ(FILE,DATA.ALL,STREAM_ELEMENT_OFFSET(SIZE));
CLOSE(FILE);
RETURN UC(DATA);
exception when NAME_ERROR=>
GNAT.IO.PUT_LINE("Error : Can not find the file: "&fn);
return null;
end Load;
_____________________________________________________________
--去除#行函数：函数将指定文件名文件读出，除去#行并输出到指定文件名。
-- with ada.streams.stream_io; use ada.streams.stream_io;
-- with ada.unchecked_deallocation;
procere clear(input_file:in string;output_file:in string) is
src:lpstr:=load(input_file);
procere Free is new ada.unchecked_deallocation(string,LPSTR);
file:ada.streams.stream_io.file_type;
stream:ada.streams.stream_io.stream_access;
i:integer:=0;
begin
if src/=null then
loop
i:=i+1;
if src(i)='#' then
loop
src(i):=' '
i:=i+1;
exit when i>src'last or src(i)=ASCII.LF;
end loop;
end if;
exit when i>=src'last;
end loop;
create(file,out_file,output_file);
stream:=ada.streams.stream_io.stream(file);
string'write(stream,SRC.all);
close(file);
Free(SRC);
end if;
end clear;
___________________________________________________________
在经过除去#行获得最终处理过的文件后即可交由GNAT编译了。