几年前,当有人想要对Ada编程语言粗鲁,他们会拖延俗话说关于骆驼是一匹马由委员会设计的。

你记得艾达,不是吗?发达是因为美国国防部(DoD),花大量的钱在软件,越来越受到处理数以百计的编程语言。(据坊间传言大约有450种语言正在使用在1960年代)。国防部决定它应该只使用一个单一的语言,而且,切一个漫长而复杂的故事短,经过一系列的比赛,国防部规定,至少所有嵌入式和实时系统应该使用一种语言——这一次叫艾达。可悲的是,这并不是一个巨大的成功。事实上,在许多人的心目中,这是一场灾难。

艾达在1980年推出了mil - std - 1815。(1815年,《美国残疾人法》的颁布,伯爵夫人浪子,可以说是世界上第一个程序员,谁提供支持查尔斯·巴贝奇的差分机诞生了。)1987年,艾达的使命是唯一的语言用于特定国防部项目开始执行。十年后,,授权被撤销。

Ada不是一个简单的语言。早期的编译器响应迟缓,运行时代码通常执行缓慢。但艾达并没有死。事实上,在一个小泡,Ada采用持续增长,这就是为什么我们现在有Ada 2012。这是因为Ada确实是骆驼由委员会设计的。

如果你想穿越沙漠,如沙的沙漠北非、中亚的高沙漠,甚至澳大利亚内陆平原(他们有进口阿富汗骆驼),骆驼是完美的野兽。他们不是快(除培育专门为骆驼比赛),但是他们可以走很长一段时间不需要太多的食物和水,虽然他们是携带很重的负载。他们可以不愉快的野兽和臭名昭著的脾气,特别是如果他们不善待…

但或许你可以完成类比编程语言你知道和爱或恨。

所以——如果你穿越沙漠是建立高可靠系统国防、航天宇宙,或其他安全至上的系统中,那么也许你应该看看艾达。在过去的几年里,艾达已经悄然建立一个非常强大的利基在军事和航空电子系统,包括空中交通管制和铁路,甚至找到一个在金融体系中的作用。列出了一些Ada的用户可以在这里找到——不过,在2012年9月,许多链接不工作。

自从早期,编译器作者已经学会了如何创建交付紧密和高效的代码编译器,轻松执行实时系统所需的速度。现在库和工具。接下来的几周内,应该有Ada 2012。

Ada 2012是建立在Ada的优势。从一开始就(Ada 83)语言特色强类型,包,支持并发和实时。以后的版本中增加了面向对象、动态调度和保护类型(Ada 95)和多个继承的接口和容器库(Ada 2005)。

Ada 2012有很多进一步的变化。有两个主要的变化。更好的支持并发性,与改进实时操作,和语言现在动态合同的概念。其他变化是那些需要支持这两个创新,提供通用的改进和整理的欠缺和轻微缺陷Ada 2005后出现在现实世界的应用程序使用的标准。

此前,Ada支持多核架构通过任务模型。任务是在一个更高级的方法比使用的线程在c++和Java等语言,他们也将实时概念,设置时间等具体操作,提供延迟,中止任务的能力。在Ada 2012任务扩展,提供更大的灵活性在任务的时间和顺序执行的任务。Ada 2012,一个任务可以专门分配给处理器或一组处理器(域)。

使程序员的意图清晰的动态合同明确的一些假设是:有效地断言的想法,已经在Ada 2005,给它更多的牙齿。sub-programme可以先决条件——必须正确的事情如果sub-programme先决条件和后置条件、操作条件,必须存在,如果sub-programme已成功执行。一个例子可能是当程序员想要流行一个堆栈。内必须有一些流行的堆栈,所以前提是堆栈并不是空的,和一个后置条件可能是堆栈并不全面,证明一个流行。

与合同相关联的概念类型都不变量——一种特定类型的例子有一定的属性,程序员可以肯定不会改变——和亚型谓词,提供进一步的定义子类型的成员。

有大量的其他变化,但这些可能感兴趣的只有那些真的想进入螺母和螺栓。如果是你,那么约翰·巴恩斯,Ada大师和成员的工作方和Ada的早期版本中,写了“简要介绍Ada 2012年”,在不到一百pdf页,仍是一个非常可读的和放松的讨论,不仅仅是变化的,而且背后的基本原理。它可以找到AdaCore网站。

虽然AdaCore是强烈的Ada -塔克塔夫特(见指数世界需要一种新的编程语言吗?以东)谈到Ada 2012在设计9月18日,2012年该公司并不是一个孤独的声音在旷野。Atego买了响应,由Jean Ichbiah“艾达的父亲,”几年前,刚刚宣布,它已经从IBM购买IBM Rational顶点Ada开发系列产品,包括顶点集成开发环境,加强他们的Ada的产品线。并有火花,艾达的一个子集,是专为最要求Altran-Praxis支持的应用程序。

所以,如果你正在系统安全性和可靠性是非常重要的,为什么你不希望使用Ada吗?语言是用来帮助程序员写好的代码,编译器是用来支持这个。一个Ada传道者说,“我经常听说Ada编译器是一个野兽,它使发现很多小问题。但另一边,当编译一个Ada的程序正确运行时通常会第一次。”

更广泛的Ada使用的最大障碍通常被视为缺乏资源,或者说缺乏身体——没有许多程序员在Ada的经验。因为,正如我们所知,程序员不这么多学习一门语言作为宗教拥抱,让他们改变语言可以是一个问题。然而,企业部署Ada声称,一个好的程序员学习Ada和可以写很好的质量的代码非常快。

所以,对你的下一个高可靠性的Ada的总结或安全性至关重要的项目,请。

,如果你不看着Ada技术为您的下一个高可靠性或安全性至关重要的项目,我们会很想知道为什么。所以请把你的评论。

• 
• 
• 
• 
•