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,7d14d8f47ca035bf X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-04-04 20:40:03 PST Path: supernews.google.com!sn-xit-03!supernews.com!cyclone-sjo1.usenetserver.com!news-out-sjo.usenetserver.com!e420r-sjo4.usenetserver.com!news-out.usenetserver.com!newshub2.rdc1.sfba.home.com!news.home.com!news1.sttls1.wa.home.com.POSTED!not-for-mail From: "DuckE" Newsgroups: comp.lang.ada References: <3AC8E799.189EE51C@bigfoot.com> <3ACA4A12.9FC665D5@bigfoot.com> <3ACBBE65.D65BB767@worldnet.att.net> Subject: Re: Ada Generic vs. C++ Templates X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 Message-ID: Date: Thu, 05 Apr 2001 03:38:30 GMT NNTP-Posting-Host: 24.6.221.63 X-Complaints-To: abuse@home.net X-Trace: news1.sttls1.wa.home.com 986441910 24.6.221.63 (Wed, 04 Apr 2001 20:38:30 PDT) NNTP-Posting-Date: Wed, 04 Apr 2001 20:38:30 PDT Organization: Excite@Home - The Leader in Broadband http://home.com/faster Xref: supernews.google.com comp.lang.ada:6488 Date: 2001-04-05T03:38:30+00:00 List-Id: "James Rogers" wrote in message news:3ACBBE65.D65BB767@worldnet.att.net... > Francois Godme wrote: > > > > Even more, now that the language has been written down as a standard, what can stop > > the convergence of the C++ compilers to the standard? > > A related question coming to my mind is "What has kept the convergence > of the C++ compilers to the standard up to this date?" > > As I recall, the GNAT compiler was certified as a correct and standard > implementation of Ada95 within months of the standardization of Ada95. > > It has now been nearly four years since the standardization of C++. > As of now, no compiler has been able to prove it properly implements > the entire C++ standard. You have implied that GNAT implements the entire Ada95 standard. While all of the "required" elements are supported, some things are not. Just try making use of "Ada.Asynchronous_Task_Control" and you'll get a message: Asynchonnous_Task_Control is not implemented. I believe GNAT was the first (and may still be the only, I'm not sure) to be "validated" for Ada95 including all annexes. This does not mean the compiler is without bugs, nor does it mean that all features described by the Ada95 standard are implemented. It merely means that the validation test suite was passed. Don't get me wrong, I think validation is a good thing. But you must be careful about what it really means. BTW: I don't really care whether the compiler I use is validated, but it is reassuring. SteveD > > This lack of success cannot be simply attributed to compiler vendors' > yearning for independence. I beleive the cause is the difficulties > posed by the C++ standard itself. > > I am growing more pessimistic that compliant C++ a compiler will ever > be produced. > > Jim Rogers > Colorado Springs, Colorado USA