From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,e8023133274ae02c
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.scarlet.biz!news.scarlet.biz.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 27 Apr 2006 15:19:58 -0500
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: procedural vs object oriented
References: <1146039364.130635.181590@v46g2000cwv.googlegroups.com>
	<YaV3g.576$xW4.461@fe12.lga> <871wvjh9te.fsf@ludovic-brenta.org>
	<1xs8jrwjj0dx2$.1ksjkyqyhimw9$.dlg@40tude.net>
	<1146134530.434869.47230@t31g2000cwb.googlegroups.com>
	<16tpmi2zjzfmv.x68lm40hqvl8$.dlg@40tude.net>
	<1146144042.780839.217550@t31g2000cwb.googlegroups.com>
	<4450D433.4010708@mailinator.com>
	<1146151045.783087.16330@y43g2000cwc.googlegroups.com>
	<4450ED3D.7020105@mailinator.com>
Date: Thu, 27 Apr 2006 22:19:03 +0200
Message-ID: <8764ku4vrc.fsf@ludovic-brenta.org>
User-Agent: Gnus/5.110004 (No Gnus v0.4) Emacs/21.4 (gnu/linux)
Cancel-Lock: sha1:2zGWeYWBmOU51kN8VG8m6AvqGwA=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
NNTP-Posting-Host: 62.235.58.52
X-Trace: 
 sv3-RUE+Nfl+etDtY6AjHbmqNPxbI5xg8WfcKeN4fxRjqT03MPF8MHwGNVu6kWHy+qkPcU8mGcDatZr1PuO!7Imb0sJLy+3pd1wluui9MYpnTAcKxTvdyZyJzPedoU9q8g/ZpiY9e/GDzjp4oX8bUJaP3Vh9
X-Complaints-To: abuse@scarlet.be
X-DMCA-Complaints-To: abuse@scarlet.biz
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.32
Xref: g2news2.google.com comp.lang.ada:3969
Date: 2006-04-27T22:19:03+02:00
List-Id: <comp.lang.ada>

"Alex R. Mosteo" <devnull@mailinator.com> writes:

> Ludovic Brenta wrote:
>> Alex R. Mosteo writes:
>>
>>>Ludovic Brenta wrote:
> (interesting snip)
>> In general-purpose programming, you can use all the features of the
>> language that help you write your source code faster; in avionics, you
>> only use those that help you certify your machine code faster. It
>> matters more to reduce the cost of certification than the cost of
>> writing the software, because the former far outweighs the latter.
>
> Thanks, the issue is very clear now.

Ada has unique features designed precisely to help with certification.
I suggest you re-read annexes D and H in the light of this thread; you
will see why Ada shines where lesser languages fall flat on their
face.

Particularly relevant to the present discussion is:

pragma Restrictions (No_Dispatch);

-- 
Ludovic Brenta.