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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,c406e0c4a6eb74ed X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!postnews2.google.com!not-for-mail From: chad.rmeiners@gmail.com (Chad R. Meiners) Newsgroups: comp.lang.ada Subject: Re: ADA Popularity Discussion Request Date: 10 Sep 2004 14:51:51 -0700 Organization: http://groups.google.com Message-ID: <782e906e.0409101351.7d5463f3@posting.google.com> References: <49dc98cf.0408110556.18ae7df@posting.google.com> <87eklg62x8.fsf@news.bourguet.org> <782e906e.0409082138.20369fc8@posting.google.com> NNTP-Posting-Host: 67.167.137.13 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1094853111 25773 127.0.0.1 (10 Sep 2004 21:51:51 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Fri, 10 Sep 2004 21:51:51 +0000 (UTC) Xref: g2news1.google.com comp.lang.ada:3569 Date: 2004-09-10T14:51:51-07:00 List-Id: jayessay wrote in message news:... > > All you are saying is that _the programmer_ would have caught the > logic error! No that wasn't what I was saying. I was pointing out how Ada's type system helps programmers to think in a way that avoids these type of logic errors altogether. By taking advantage of the type system, the programmer is less likely to write the code that you posted and more likely to write the code that I posted in the first place. -CRM