comp.lang.ada
 help / color / mirror / Atom feed
From: Colin_Paul_Gloster@ACM.org (Colin Paul Gloster)
Subject: Re: Ada Generic vs. C++ Templates
Date: 6 Apr 2001 10:38:44 GMT
Date: 2001-04-06T10:38:44+00:00	[thread overview]
Message-ID: <slrn9cr3gt.co31.Colin_Paul_Gloster@tolka.dcu.ie> (raw)
In-Reply-To: 3ACD1045.E9ECB65F@worldnet.att.net

In article <3ACD1045.E9ECB65F@worldnet.att.net>, James Rogers wrote:
"DuckE wrote:
> 
> 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.

This, of course, does not even approach the problems found with C++
compilers.

I am sure you will correct me if I am wrong in this. I believe the C++
standard contains no optional annexes."

Probably true that it has no optional annexes.

"GNAT does implement all required features of the Ada language, and
nearly every feature of the optional annexes. You cannot write an Ada
program that compiles in GNAT, using only required features of the 
language, and not successfully compile the same program using another
Ada compiler.

On the other hand, you can easily write a C++ program using the
Microsoft C++ compiler that will not compile properly using the
Watcom C++ compiler."

Watcom having gone bust before the Standard came to be. As for those
current Standard-sriving compilers, your point holds. There are people
who care though and do get more than one C++ compiler to successfully
compile the same source.

"The C++ reference manual is larger than the Ada reference manual.
This is only important as an indication of the difficulty of
compiler implementation implied by the size of the document. You
may deny the validity of this measure,"

I agree that it is indicative. Something I do not like is people
referencing "The C++ Programming Language" (or the second edition of 
"The C Programming Language", 1988, Prentice Hall in the case of C89 when
C89 was Standard C) as authoriative when they are not prescriptive -- the
Standard is the authority. Note even that "The C Programming
Language" predates the ex-standard people incorrectly throw it around as
defining and is based on a late draft standard.

It may be worth mentioning that staff writers for "C/C++ User's
Journal" have said things along the lines of such and such seems to be
the case in Standard C++, evidence to support said opinion (note
opinion and evidence, not things they are billing as definitely
correct interpretations of the Standard) being from whatever section (of
the actual Standard thank goodness). The editor said that because of such
common referrals to the C++ Standard in CUJ, the Standard is
excellent. Merely on that measure the opposite is a far more sensible
suspicion.

"but the current lack of compilers implementing the standard speaks
loudly to me. It must be due to the standard itself."

Yes. Note however that on average the greatest deficiencies in
completely implementating it seems to be in finishing off the
libraries. Libraries are not so much a language issue. Still the actual
language implementations have some way to go yet.

"The C++ language standard has too often ignored the concerns of compiler
writers. Features and language definitions have been placed in the
standard to satisfy application developers without proper concern for the
need to implement those features in a compiler."

My reaction to this makes me feel that it is grossly untrue.
Colin Paul
-- 
This signature file is included in protest against the hosting of Nazi
facist propaganda "Mein Kampf" written by Adolf Hitler on the Dublin City
University Networking Society (committee@RedBrick.DCU.Ie, DCU Networking
Society, c/o Clubs and Socs Office, The Hub, DCU, Glasnevin, Dublin 9,
Ireland) website at HTTP://WWW.RedBrick.DCU.Ie/~mellow/Adolf/ by
R. O'Brien whose username is mellow. On 22nd March 2001 Dublin City
University webmaster Niall O'Leary (niall.oleary@DCU.Ie, +353-1-700 5864, 
Room C203, Computer Services Department, Henry Grattan Building, DCU,
Glasnevin, Dublin 9, Ireland) authorised "Mein Kampf" to be on the
Internet via DCU and HEAnet (info@HEAnet.Ie, +353-1-6623412, HEAnet Ltd.,
Ground Floor, Marine House, Clanwilliam Court, Dublin 2, 
Ireland) resources. Please also complain to The President's Office, DCU,
Glasnevin, Dublin 9, Ireland, dcupres@DCU.Ie.



  reply	other threads:[~2001-04-06 10:38 UTC|newest]

Thread overview: 33+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-04-02 14:28 Ada Generic vs. C++ Templates Josef Widder
2001-04-02 14:38 ` Ted Dennison
2001-04-02 20:57   ` Francois Godme
2001-04-02 21:26     ` Ted Dennison
2001-04-03  0:53       ` David Starner
2001-04-04  7:12         ` Pascal Obry
2001-04-04 12:37         ` Stephen Leake
2001-04-04 14:16         ` Ted Dennison
2001-04-03 22:09       ` Francois Godme
2001-04-04 16:17         ` Brian Rogoff
2001-04-04 16:21         ` Jeffrey Carter
2001-04-04 16:49           ` Ayende Rahien
2001-04-05 22:31             ` Colin Paul Gloster
2001-04-04 16:56           ` Ted Dennison
2001-04-04 17:02             ` Ayende Rahien
2001-04-05  0:35         ` James Rogers
2001-04-05  3:38           ` DuckE
2001-04-05 14:25             ` Marin David Condic
2001-04-05 20:32               ` Robert A Duff
2001-04-05 21:04                 ` Marin David Condic
2001-04-06 16:19                   ` Robert A Duff
2001-04-06  0:37             ` James Rogers
2001-04-06 10:38               ` Colin Paul Gloster [this message]
2001-04-11  3:33                 ` Stephen Howe
2001-04-11 14:33                   ` Colin Paul Gloster
2001-04-04 13:24 ` Georg Bauhaus
2001-04-05  8:46   ` Jean-Marc Bourguet
2001-04-04 17:30 ` Ehud Lamm
2001-04-05 22:04   ` Colin Paul Gloster
2001-04-10  7:03     ` Simon Wright
2001-04-13 14:11       ` Pat Rogers
2001-04-17  8:27         ` Colin Paul Gloster
2001-04-08  5:00 ` Lao Xiao Hai
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox