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,703c4f68db81387d
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!proxad.net!newsfeed.stueberl.de!newsgate.cistron.nl!transit.news.xs4all.nl!195.241.76.212.MISMATCH!tiscali!transit1.news.tiscali.nl!dreader2.news.tiscali.nl!not-for-mail
Newsgroups: comp.lang.ada
Cc: mail2news@news.demon.co.uk
Subject: Re: [OT] Re: Teaching new tricks to an old dog (C++ -->Ada)
References: <4229bad9$0$1019$afc38c87@news.optusnet.com.au>
 <y8lWd.103136$Vf.3969714@news000.worldonline.dk>
 <422b6c80.1141685927@news.xs4all.nl>
 <l4MWd.103362$Vf.3977593@news000.worldonline.dk>
 <d0g3lp$kuc$1$8302bc10@news.demon.co.uk>
From: Ludovic Brenta <ludovic.brenta@insalien.org>
Date: Tue, 08 Mar 2005 00:33:27 +0100
Message-ID: <87vf8358vs.fsf@insalien.org>
User-Agent: Gnus/5.1007 (Gnus v5.10.7) Emacs/21.3 (gnu/linux)
Cancel-Lock: sha1:ZKnnlCbggZU0L/K+IEl7DWUONaI=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Organization: Tiscali bv
NNTP-Posting-Date: 08 Mar 2005 00:33:04 CET
NNTP-Posting-Host: 83.134.237.66
X-Trace: 1110238384 dreader2.news.tiscali.nl 44081 83.134.237.66:37167
X-Complaints-To: abuse@tiscali.nl
Xref: g2news1.google.com comp.lang.ada:8834
Date: 2005-03-08T00:33:04+01:00
List-Id: <comp.lang.ada>

"Paul E. Bennett" writes:
>> Which is why other means are needed for quality software. Rigorous
>> testing and code reviews come to mind.
>
> Something that some people here seem not able to accept because they
> believe in the absolute protectiveness of their compiler.

I think I've already mentioned that, during *testing*, we prove that
no exception is ever raised in our software.  I just wanted to make it
clear that I consider testing to be an obvious and integral part of
development.  No compiler can be an excuse not to test.  That said,
Ada still helps us catch many silly mistakes even *before* testing.

And secondly, Ada is very legible.  Do you remember my blurb about
aliasing?  This is the kind of thing that *really* helps during code
review and inspection, and during maintenance.  The other things that
help a lot in this area are the fact that everything is explicit,
rather than implicit, and the ability we have to express *what* we are
doing in high-level, almost plain English terms.  The type system in
particular helps us speak in terms of the problem at hand rather than
in terms of computer-specific objects.  We effectively replace the
computer jargon with avionics jargon.  This is called a "high-level
language".

-- 
Ludovic Brenta.