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: fdb77,5f529c91be2ac930 X-Google-Attributes: gidfdb77,public X-Google-Thread: 103376,583275b6950bf4e6 X-Google-Attributes: gid103376,public X-Google-Thread: f43e6,899fc98b2883af4a X-Google-Attributes: gidf43e6,public X-Google-Thread: 1108a1,59ec73856b699922 X-Google-Attributes: gid1108a1,public X-Google-ArrivalTime: 2003-05-14 08:16:49 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeed1!bredband!uio.no!ntnu.no!not-for-mail From: Preben Randhol Newsgroups: comp.lang.java.advocacy,comp.object,comp.lang.ada,misc.misc,comp.software-eng Subject: Re: Quality systems (Was: Using Ada for device drivers? (Was: the Ada mandate, and why it collapsed and died)) Date: Wed, 14 May 2003 15:16:48 +0000 (UTC) Organization: Norwegian university of science and technology Message-ID: References: <9fa75d42.0304230424.10612b1a@posting.google.com> <9fa75d42.0305011727.5eae0222@posting.google.com> <17cd177c.0305072114.24f04783@posting.google.com> <9fa75d42.0305090612.261d5a5c@posting.google.com> <9fa75d42.0305091549.48b9c5d9@posting.google.com> <7507f79d.0305121629.5b8b7369@posting.google.com> <9fa75d42.0305130543.60381450@posting.google.com> NNTP-Posting-Host: kiuk0152.chembio.ntnu.no X-Trace: tyfon.itea.ntnu.no 1052925408 15524 129.241.83.78 (14 May 2003 15:16:48 GMT) X-Complaints-To: usenet@itea.ntnu.no NNTP-Posting-Date: Wed, 14 May 2003 15:16:48 +0000 (UTC) User-Agent: slrn/0.9.7.4 (Linux) Xref: archiver1.google.com comp.lang.java.advocacy:63778 comp.object:63382 comp.lang.ada:37325 misc.misc:14160 comp.software-eng:19179 Date: 2003-05-14T15:16:48+00:00 List-Id: Marin David Condic wrote: > My jet engine control has *never* failed in flight operational use. It > can't. Someone would die if it did. It's programmed in Ada. Coincidence? Or > is it possible that Ada contributed to its quality? But then I suppose we > just hire stupid people and try to control their every action through > militaristic command and control sorts of "Quality Systems" that ultimately > don't work so we are left to complain about our vendors or how lousy > languages like C are. :-) What I am wondering is why do C or C++ programmers need so many tools to check their code if they are so good infallible programmers and the language is so excellent? Shouldn't correct code just pour out of their fingertips guided by the excellence of the language? And of course if you find a bug it is because there was *one* bad programmer on the team and it has nothing to do with the language. If there was a debugger-free day I guess C programmers would take the day off ;-) Preben -- "When Roman engineers built a bridge, they had to stand under it while the first legion marched across. If programmers today worked under similar ground rules, they might well find themselves getting much more interested in Ada!" -- Robert Dewar