Re: procedural vs object oriented

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

"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.