comp.lang.ada
 help / color / mirror / Atom feed
From: Robert A Duff <bobduff@world.std.com>
Subject: Re: C/C++ programmer giving Ada95 a chance -- writing an emulator.
Date: 2000/04/05
Date: 2000-04-05T00:00:00+00:00	[thread overview]
Message-ID: <wcc1z4kv7zo.fsf@world.std.com> (raw)
In-Reply-To: 8c4vop$h3o$1@nnrp1.deja.com

Robert Dewar <robert_dewar@my-deja.com> writes:

> Is the Ada 95 RM more precise? I am not 100% convinced at all.
> Looking at the set of AI's that are coming in, we are seeing the
> same kinds of minor gaps and errors that happened with the
> Ada 83 RM, I would be hard put to say there was a big
> qualitative difference in the scope of AI's considered in the
> two cases. Bob (Duff) what do you think on that score?

I think the Ada Issues from the Ada 83 era are "bigger" (on average)
than the Ada 95 ones, in two senses: more impact on users, and more
difficult to fix without damaging other parts of the language.

I'm not so sure that's because the RM is more precise.  That could be
part of it, but it is also the case that the Ada 83 design was a bigger
job (from scratch language design, as opposed to a modification of 5% of
an existing language) -- so you would expect bigger bugs.

The above is just my gut feel.  It might be interesting to go through
all the AI's and rate them more-or-less objectively and add up the
ratings.  But not interesting enough for me to waste time doing it!  ;-)

>... [I
> think Bob's input here is useful since he knows both RM's
> well and both sets of AI's, and if biased at all would be
> biased to thinking the 95 AI's are less significant (*)
> 
> (*) in fact, I never noticed Bob's viewpoints being perceptibly
> affected by bias of any kind :-) even though he is constantly
> warning that as an author he may be biased!

Well, that's a nice thing to say.  Thanks!

- Bob




  reply	other threads:[~2000-04-05  0:00 UTC|newest]

Thread overview: 54+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <38e148e2.5089627@news.shreve.net>
2000-03-28  0:00 ` C/C++ programmer giving Ada95 a chance -- writing an emulator Ken Garlington
2000-03-28  0:00 ` Juergen Pfeifer
2000-03-28  0:00   ` Jim Rogers
2000-03-29  0:00     ` Ed Falis
2000-03-29  0:00       ` James S. Rogers
2000-03-29  0:00         ` Jean-Marc Bourguet
2000-03-29  0:00         ` Robert Dewar
2000-03-30  0:00         ` Geoff Bull
2000-03-30  0:00           ` tmoran
2000-04-01  0:00           ` Robert Dewar
2000-03-28  0:00 ` Geoff Bull
2000-03-28  0:00   ` Jean-Marc Bourguet
     [not found] ` <38e19656.17008608@news.shreve.net>
2000-03-29  0:00   ` Marc A. Criley
2000-03-29  0:00   ` David Starner
2000-03-29  0:00     ` Robert Dewar
2000-03-29  0:00       ` Marin D. Condic
2000-03-29  0:00         ` Robert A Duff
2000-03-29  0:00           ` Marin D. Condic
2000-03-29  0:00       ` Jean-Marc Bourguet
2000-03-29  0:00         ` Robert Dewar
2000-03-30  0:00           ` Jean-Marc Bourguet
2000-04-01  0:00             ` Robert Dewar
2000-03-30  0:00       ` Geoff Bull
2000-04-01  0:00         ` Robert Dewar
2000-04-02  0:00           ` Geoff Bull
2000-04-02  0:00             ` swhalen
2000-04-02  0:00             ` Robert Dewar
2000-03-29  0:00     ` Robert A Duff
2000-03-30  0:00       ` Geoff Bull
2000-04-01  0:00         ` Robert Dewar
2000-03-29  0:00   ` swhalen
2000-03-29  0:00     ` Robert Dewar
2000-03-30  0:00       ` swhalen
2000-03-29  0:00   ` Marin D. Condic
2000-03-30  0:00   ` Samuel T. Harris
2000-04-01  0:00     ` Robert Dewar
2000-04-05  0:00       ` Robert A Duff [this message]
2000-03-30  0:00   ` Ken Garlington
2000-03-30  0:00 ` Geoff Bull
     [not found]   ` <38e7e951.8384503@news.shreve.net>
2000-04-02  0:00     ` Jean-Pierre Rosen
2000-04-02  0:00       ` Robert Dewar
2000-04-03  0:00         ` Paul Graham
2000-04-06  0:00           ` Robert Dewar
2000-04-06  0:00             ` Larry Kilgallen
2000-04-06  0:00               ` Robert Dewar
2000-04-06  0:00                 ` Gautier
2000-04-07  0:00                   ` Robert Dewar
2000-04-07  0:00                     ` Gautier
     [not found] <38E3DBD7.27F5B246@acenet.com.au>
2000-03-31  0:00 ` tmoran
2000-03-31  0:00   ` Geoff Bull
2000-04-01  0:00     ` Tucker Taft
2000-04-02  0:00       ` Geoff Bull
2000-04-02  0:00       ` Robert Dewar
2000-04-02  0:00         ` Geoff Bull
replies disabled

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