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,c9d5fc258548b22a X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news3.google.com!feeder3.cambriumusenet.nl!feed.tweaknews.nl!138.195.8.3.MISMATCH!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: How do I write directly to a memory address? Date: Tue, 8 Feb 2011 18:03:47 -0600 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: References: <67063a5b-f588-45ea-bf22-ca4ba0196ee6@l11g2000yqb.googlegroups.com> <8r86vgFc3uU1@mid.individual.net> <19fh1chm74f9.11cws0j5bckze.dlg@40tude.net> <4d4ff70e$0$6886$9b4e6d93@newsspool2.arcor-online.net> <737a6396-72bd-4a1e-8895-7d50f287960e@d28g2000yqc.googlegroups.com> <4d5008a5$0$6879$9b4e6d93@newsspool2.arcor-online.net> <4d5031fe$0$6765$9b4e6d93@newsspool3.arcor-online.net> <1f229967-d3cf-42b6-8087-c97ee08652f3@i40g2000yqh.googlegroups.com> <4d51169e$0$7657$9b4e6d93@newsspool1.arcor-online.net> <4d51905c$0$19486$882e7ee2@usenet-news.net> <36212a7b-deab-45d9-ac45-aa29cd90c7bc@o18g2000prh.googlegroups.com> <4d51a7bb$0$19486$882e7ee2@usenet-news.net> NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net X-Trace: munin.nbi.dk 1297209831 10161 69.95.181.76 (9 Feb 2011 00:03:51 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Wed, 9 Feb 2011 00:03:51 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Response X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5931 Xref: g2news2.google.com comp.lang.ada:18035 Date: 2011-02-08T18:03:47-06:00 List-Id: "Hyman Rosen" wrote in message news:4d51a7bb$0$19486$882e7ee2@usenet-news.net... > On 2/8/2011 3:11 PM, Shark8 wrote: >> No, that's not it. What is 'it' is that the C programmers treated > > Ada as if it were C and the result was, as expected, bad Ada. > > It is my understanding that Ada proponents believe that > using Ada results in better programs than using C. But > when presented with a program written in Ada that is not > demonstrably better, that program is removed from the set > of Ada programs under consideration by virtue of having > been written by "C people". That is precisely the "no true > Scotsman" fallacy. No fallacy here. 99% of programs (in any programming language) are garbage. The 1% that are not garbage are written in a language that supports and enforces real contracts. C is not such a language, ergo all of its programs are garbage (it might be possible to write some simple functions that aren't garbage, but nothing complex). Ada is only *barely* such a language, so most Ada programs are garbage as well. Garbage programs might work after lots of testing, but they're not engineered in any way. Lest you think I'm talking about mythical other people, let me say that I put Janus/Ada (written almost solely in Ada) in the category of garbage Ada programs. It was designed by people (including me, fresh out of college) that didn't understand encapsulation and contracts very well, and as such it doesn't use them very consistently. It "works", of course, but it suffers from a lot of the problems that you might get from a C written compiler. With one exception: virtually every problem is detected by the failure of an Ada runtime check, so it is rare to get the wrong answer as opposed to no answer. I would in fact argue that Ada is not good enough here; we need more contracts than even Ada 2012 can provide. Or we can continue to assume that crap is good enough. The world, sadly, is pretty much convinced that is all we can do. It surely is with the programming languages in wide use. Randy.