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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 11232c,59ec73856b699922 X-Google-Attributes: gid11232c,public X-Google-Thread: 103376,583275b6950bf4e6 X-Google-Attributes: gid103376,public X-Google-Thread: 1108a1,59ec73856b699922 X-Google-Attributes: gid1108a1,public X-Google-Thread: fdb77,5f529c91be2ac930 X-Google-Attributes: gidfdb77,public X-Google-ArrivalTime: 2003-05-12 01:16:04 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!uio.no!ntnu.no!not-for-mail From: Preben Randhol Newsgroups: comp.lang.java.advocacy,comp.object,comp.lang.ada,misc.misc Subject: Re: Using Ada for device drivers? (Was: the Ada mandate, and why it collapsed and died) Date: Mon, 12 May 2003 08:16:03 +0000 (UTC) Organization: Norwegian university of science and technology Message-ID: References: <9fa75d42.0304230424.10612b1a@posting.google.com> <416273D61ACF7FEF.82C1D1AC17296926.FF0BFD4934A03813@lp.airnews.net> <9fa75d42.0305010621.55e99deb@posting.google.com> <17cd177c.0305011129.2eab5fb8@posting.google.com> <9fa75d42.0305090536.49431321@posting.google.com> <9fa75d42.0305100935.6fa9ee2a@posting.google.com> NNTP-Posting-Host: kiuk0152.chembio.ntnu.no X-Trace: tyfon.itea.ntnu.no 1052727363 2566 129.241.83.78 (12 May 2003 08:16:03 GMT) X-Complaints-To: usenet@itea.ntnu.no NNTP-Posting-Date: Mon, 12 May 2003 08:16:03 +0000 (UTC) User-Agent: slrn/0.9.7.4 (Linux) Xref: archiver1.google.com comp.lang.java.advocacy:63562 comp.object:63227 comp.lang.ada:37224 misc.misc:14100 Date: 2003-05-12T08:16:03+00:00 List-Id: soft-eng wrote: > Preben Randhol wrote in message news:... > Imagine his surprise when he slowly progresses to serious > programming, and starts to discover that all of his logic > errors will continue to stay logic errors, Ada or no Ada. > And the ultimate solution for those logic errors will > come from -- horrors, fallible humans. How stupid is it possible to be? I have not at all said one cannot make logical errors in Ada or any other language nor that Ada prevents them. But perhaps a self-proclaimed "expert" [*] like yourself do not grasp the advantage of having a language which helps reduces the number of non-logical errors (syntactic, range errors etc...) to a minimum in stead of expecting that the programmer discover all those themself. Just take a look at the state of software security and you will find most problems lies in buffer overflows for instance. > Of course, for freshmen programmers whose biggest problem is > getting the types right, Ada is clearly useful. No doubts > about that. Also for those who are never going to > progress to any programming that requires something more > complex than getting the types right. Oh and how is C better than Ada when it comes limiting logical errors or maintaining large complex systems? *Plonk* [*] The mere fact that you don't even use your real name, screams teenager. -- Preben Randhol http://www.pvv.org/~randhol/