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!news3.google.com!newsfeed2.dallas1.level3.net!news.level3.com!news.illinois.net!attcg1!ip.att.net!news.binc.net!kilgallen
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Newsgroups: comp.lang.ada
Subject: Re: [OT] Re: Teaching new tricks to an old dog (C++ -->Ada)
Followup-To: comp.lang.ada
Date: 10 Mar 2005 20:52:59 -0600
Organization: LJK Software
Message-ID: <4hIVAmTjB5Hj@eisner.encompasserve.org>
References: <4229bad9$0$1019$afc38c87@news.optusnet.com.au>
 <87r7iu85lf.fsf@insalien.org> <1110052142.832650@athnrd02>
 <42309456$1@news.broadpark.no> <ow2Yd.21162$7U5.4617@fe04.lga>
 <d0qh1a$90t$1$8302bc10@news.demon.co.uk>
NNTP-Posting-Host: eisner.encompasserve.org
X-Trace: grandcanyon.binc.net 1110509504 2374 192.135.80.34 (11 Mar 2005
 02:51:44 GMT)
X-Complaints-To: abuse@binc.net
NNTP-Posting-Date: Fri, 11 Mar 2005 02:51:44 +0000 (UTC)
Xref: g2news1.google.com comp.lang.ada:9082
Date: 2005-03-10T20:52:59-06:00
List-Id: <comp.lang.ada>

In article <d0qh1a$90t$1$8302bc10@news.demon.co.uk>, "Paul E. Bennett" <peb@amleth.demon.co.uk> writes:

> Now, I know a lot of people who do use C, C++, Ada and Java in mission 
> critical systems and do so successfully. Most of them use some form of 
> checking tools (even the Ada guys). It is certainly a long way from the "if 
> it compiles it is right" attitude that has seemed to have been purported by 
> just a very few of the Ada crowd here.

If I understand where the various posters are coming from, there have not
been any Ada users saying "if it compiles it is right", but rather "if it
fails to compile, it is wrong" and "Ada will fail to compile on a larger
number of errors than many other languages".