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: 109fba,304c86061dc69dba X-Google-Attributes: gid109fba,public X-Google-Thread: 103376,5cb36983754f64da X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-02-12 09:37:31 PST Path: archiver1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!crtntx1-snh1.gtei.net!news.gtei.net!newsfeed1.easynews.com!easynews.com!easynews!border1.nntp.sjc.giganews.com!nntp.giganews.com!local1.nntp.sjc.giganews.com!nntp.adelphia.com!news.adelphia.com.POSTED!not-for-mail NNTP-Posting-Date: Thu, 12 Feb 2004 11:37:29 -0600 From: Jerry Coffin Newsgroups: comp.lang.ada,comp.lang.c++ Subject: Re: No call for Ada (was Re: Announcing new scripting/prototyping language) Date: Thu, 12 Feb 2004 10:44:18 -0700 Message-ID: References: <20040206174017.7E84F4C4114@lovelace.ada-france.org> <54759e7e.0402071124.322ea376@posting.google.com> <2460735.u7KiuvdgQP@linux1.krischik.com> <54759e7e.0402081525.50c7adae@posting.google.com> Organization: TAEUS X-Newsreader: MicroPlanet Gravity v2.50 NNTP-Posting-Host: 68.64.173.106 X-Trace: sv3-QjdiN+Xgf75j3T3rUCJwOcY6SvNn1D1Y3p0oasA6juQ/pY6IA/oa4DQ3UV4jWdnyizajsjE1wE1FG97!al6G5fSsgjH7C2TMpIiGLxvTF+ACifoWRKKGX0kllLO6bStxHeLcXdht1M27+04gQ1bAHS+fxsl0!FlznvmIhPy2a4K42V3X3II4= X-Complaints-To: abuse@adelphia.com X-DMCA-Complaints-To: abuse@adelphia.com X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.1 Xref: archiver1.google.com comp.lang.ada:5490 comp.lang.c++:18919 Date: 2004-02-12T10:44:18-07:00 List-Id: In article , ludovic.brenta@insalien.org says... [ ... ] > No, I was comparing languages not compilers. That may have been what you _intended_, but here's what you actually _said_: I just tried the above with gcc -Wall and got no warning. This means that only a human carefully reviewing this program will see the mistake I was addressing that statement, and proved it wrong. Worse than simply being wrong, however, is the fallacious reasoning it represents. You claim that a single example proves an entire class. I honestly don't want to turn this into a personal attack, but it's difficult to take any of your opinions seriously when you apparently lack all grasp of logic or reasoning. > As stated elsewhere, the > C language does not require any compiler to catch the particular bug I > used as an example. If your compiler does, good for you, but the C > language says you cannot assume it will. What your compiler did was > akin to "lint", which I referred to as using heuristics, not language > rules. Heuristics means that so many people were hurt by this bug > before that it seemed like a good idea to try and catch it at compile > (or "lint") time. Rather the contrary: it gets caught because it's trivial to catch, and the market for C compilers is sufficiently competitive that nearly every vendor is constantly working at adding features, especially those that are easy to implement. > The Ada language mandates that all Ada compilers must catch this bug. > This gives much more confidence in Ada than in C. It may give you "much more confidence in Ada", but if so, it's precisely the false sense of security I've pointed out a number times before. If you were being realistic, this would increase your confidence in Ada over C by approximately the number of real bugs it catches. In my experience that would be well under one part per million -- probably closer to one part per billion. I've a pretty fair amount of experience, and I've yet to see a real bug like this. I don't think it hurts anything for the compiler to catch it, but the degree of confidence it should inspire is exceptionally minimal. The sad part is that Ada is a good enough language that it deserves a much better defense than you're giving it. Ada provides features that really can (and do) help prevent bugs that are much more common in C. Unfortunately, every indication you've given so far in this thread is that you lack sufficient insight into either language to recognize those areas and base your arguments on them. On a slightly different subject, given that this is cross-posted to c.l.ada and c.l.c++, if you're going to advocate Ada as being superior, the comparison should clearly be to C++ rather than C. -- Later, Jerry. The universe is a figment of its own imagination.