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: 103376,8623fab5750cd6aa X-Google-Attributes: gid103376,public Path: g2news1.google.com!news1.google.com!news.glorb.com!cyclone.bc.net!news-in.mts.net!nf1.bellglobal.com!nf2.bellglobal.com!news20.bellglobal.com.POSTED!not-for-mail From: "Warren W. Gay VE3WWG" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Improving Ada's image - Was: 7E7 Flight Controls Electronics References: <40b9c99e$0$268$edfadb0f@dread16.news.tele.dk> <40ba315a$0$254$edfadb0f@dread16.news.tele.dk> <04udnR-eHNChzSbdRVn-vw@gbronline.com> <7J0xc.7371$8k4.269106@news20.bellglobal.com> <1086630278.542788@master.nyc.kbcfp.com> <8xlxc.27603$sS2.845496@news20.bellglobal.com> <1086715817.122983@master.nyc.kbcfp.com> <1086733411.736049@master.nyc.kbcfp.com> <3Auxc.11998$XY6.1296622@read2.cgocable.net> <40C85035.4020706@noplace.com> <40C9EC3B.60304@noplace.com> <40CD90A4.8030005@noplace.com> In-Reply-To: <40CD90A4.8030005@noplace.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Mon, 14 Jun 2004 12:28:22 -0400 NNTP-Posting-Host: 198.96.223.163 X-Complaints-To: abuse@sympatico.ca X-Trace: news20.bellglobal.com 1087230500 198.96.223.163 (Mon, 14 Jun 2004 12:28:20 EDT) NNTP-Posting-Date: Mon, 14 Jun 2004 12:28:20 EDT Organization: Bell Sympatico Xref: g2news1.google.com comp.lang.ada:1473 Date: 2004-06-14T12:28:22-04:00 List-Id: Marin David Condic wrote: > I sympathize - maybe from a different angle. "So writing an OS in Ada > would guarantee reliability and security? O.K. Show me. Go write one and > demonstrate that it works." > > Its easy to *claim* that Ada would make a perfectly reliable and secure > OS, but its really tough to actually do it. And I doubt that Ada in and > of itself would get you the reliability and security imagined. But I'm > willing to be proven wrong by demonstration. :-) > > MDC Today's slashdot points out yet another exploit in Linux. http://slashdot.org/article.pl?sid=04/06/04/1212228&mode=thread&tid=126&tid=95 We like to deride Windows, but Linux, *NIX in general all suffer from the same problem. Some of these are no doubt due to design issues (which Ada may or may not help with). But surely, one has to wonder/hope if/that some other fundamental change (language) can offer an improvement. I think many are simply saying that they believe it to be so. If one can see major improvements on the projects that Ada is used for, then by extension one has to expect a similar level of improvement for an operating system. But everyone's point is well taken: where is the Ada OS? We have no implementation to point to for a comparison. -- Warren W. Gay VE3WWG http://home.cogeco.ca/~ve3wwg