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=0.7 required=5.0 tests=BAYES_00,FREEMAIL_FROM, FREEMAIL_REPLYTO,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,28cd155693714664 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-06-18 06:40:09 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!router1.news.adelphia.net!solaris.cc.vt.edu!news.vt.edu!msunews!not-for-mail From: "Chad R. Meiners" Newsgroups: comp.lang.ada Subject: Re: Faulty languages and Liability Date: Tue, 18 Jun 2002 09:35:56 -0400 Organization: Michigan State University Message-ID: References: <3D0C7C0B.5000707@mail.com> <3D0EBE64.2070809@mail.com> Reply-To: "Chad R. Meiners" NNTP-Posting-Host: arctic.cse.msu.edu X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2600.0000 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Xref: archiver1.google.com comp.lang.ada:26233 Date: 2002-06-18T09:35:56-04:00 List-Id: "Hyman Rosen" wrote in message news:3D0EBE64.2070809@mail.com... > That's where I would bring up Ariane 5 :-) So in essence your best defence would be to knowingly drag a red herring into the argument as well a present false context; thus, knowingly engage in a deception. ;) > Yes, your honor, but when Ada detects errors, it blows > up the rocket! Ah yes! the famous compilation error signals the rocket to exploded ;) Surely you must realise that the errors Ada will not allow to see the light of day are compilation errors. I am so far unaware of a compilation error causing a rocket to exploded. >Maybe this mail program written in C can > be attacked by hackers through buffer overflows, but if > you wrote it in Ada, every time it got a little unhappy, > it would crash and lose all your work! Your claim about Ada does not follow (the key phrase is 'every time'). You can always catch unexpected exceptions and handle them in a graceful manner. >And look, right > there in their manual - it says that in Ada you *have* > to use Unchecked_Conversion and Unchecked_Dealloaction. > See, they're lying about all the checking they claim to do! > > Gee, this is fun :-) And then we completely degrade into being unreasonable ... ;) Being unreasonable is not the best way to try and contest logical and scientific reasoning. It may be fun to act unreasonable, but will only convince me that you are wrong, know it and are trying to deny it anyway ;) -CRM -CRM