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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 1014db,3d3f20d31be1c33a
X-Google-Attributes: gid1014db,public
X-Google-Thread: fac41,2c6139ce13be9980
X-Google-Attributes: gidfac41,public
X-Google-Thread: 1108a1,2c6139ce13be9980
X-Google-Attributes: gid1108a1,public
X-Google-Thread: 109fba,2c6139ce13be9980
X-Google-Attributes: gid109fba,public
X-Google-Thread: f43e6,2c6139ce13be9980
X-Google-Attributes: gidf43e6,public
X-Google-Thread: 103376,3d3f20d31be1c33a
X-Google-Attributes: gid103376,public
From: nagle@netcom.com (John Nagle)
Subject: Re: Is ADA as good for graphics programming as C? (WAS: Re: Avoiding
 the second historic mistake)
Date: 1997/07/05
Message-ID: <nagleECutzL.5n4@netcom.com>#1/1
X-Deja-AN: 254824415
Sender: nagle@netcom6.netcom.com
References: <33957A33.1C31AB44@oma.com> <865898351snz@nezumi.demon.co.uk>
 <339ED54C.215A5F85@oma.com> <5noc8u$a8m$3@miranda.gmrc.gecm.com>
 <33A032AC.2D8BA85C@oma.com> <5nrn86$cvo$3@miranda.gmrc.gecm.com>
 <33A1CBBB.B0602EC@oma.com> <5o2uls$ku3$2@miranda.gmrc.gecm.com>
 <33A6ADDA.2099EEB9@oma.com> <EBxM3y.8Eo@i2.COM> <33A7D2DE.545B@polaroid.com>
 <JSA.97Jun18155730@alexandria.organon.com> <33A9338D.10BB@polaroid.com>
 <harrison-2106970827440001@apm1-87.realtime.net>
 <33B09D64.E7F99DA3@saguarosoft.com> <33B16CBB.417A@gdesystems.com>
 <mheaney-ya023680000207972142310001@news.ni.net>
 <slrn5rn570.j6j.abo@minkirri.apana.org.au>
 <mheaney-ya023680000407970016150001@news.ni.net>
 <slrn5rq1gc.che.abo@minkirri.apana.org.au>
Organization: Netcom On-Line Services
Newsgroups: 
 comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel,comp.lang.c,comp.lang.c++
Date: 1997-07-05T00:00:00+00:00
List-Id: <comp.lang.ada>


abo@minkirri.apana.org.au (Donovan Baarda) writes:
>the book I've got says that programs that depend on the mechanism used are
>erroneous. I would take a bloody good compiler to raise an error on a
>program that does it.

    It can be done.  See my "Practical Program Verification", 
POPL '83.

>>>The biggest problem with Ada compared to C, is the language is so complex.
>>>The compiler writers have such a hard time just getting it to work that
>>>they hardly get around to putting in optimisation. C is so small that
>>>compiling it is easy, so more effort gets spent on optimization. 

    C++, though, is now bigger than Ada.

>>I think the DOD would prefer you use Ada, but the DOD does not mandate
>>Ada's use.

    At one time DOD did mandate Ada, but they gave up.

						John Nagle