comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: C/C++ programmer giving Ada95 a chance -- writing an emulator.
Date: 2000/04/01
Date: 2000-04-01T00:00:00+00:00	[thread overview]
Message-ID: <8c4vop$h3o$1@nnrp1.deja.com> (raw)
In-Reply-To: 38E3D0A5.4F93106F@Raytheon.com

In article <38E3D0A5.4F93106F@Raytheon.com>,
  "Samuel T. Harris" <samuel_t_harris@Raytheon.com> wrote:

> It is interesting how two documents from two different
> sets of folks concerning basically the same things
> can be so very different in style.

Note that it is not so much a difference in authors style here,
as a very deliberate design choice of favoring formalism and
supposed precision over readability.

I am not sure everyone on WG9 and the reviewers group really
understood what a very big change was being made. The above
note is *exactly* what concerned me when I tried to argue for
retaining the original style.

I suspect that if the original Ada 83 RM had been written in
this style we simply would not have achieved the pretty much
unique status among languages that practicing programmers use
the defining document as a reference.

Luckily we benefit from history here, Ada programmers from 83
days are so used to operating in this mode that they continue
the habit, even though it is harder these days.

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 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!



Sent via Deja.com http://www.deja.com/
Before you buy.




  reply	other threads:[~2000-04-01  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 Geoff Bull
2000-03-28  0:00   ` Jean-Marc Bourguet
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         ` Robert Dewar
2000-03-29  0:00         ` Jean-Marc Bourguet
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 ` Ken Garlington
     [not found] ` <38e19656.17008608@news.shreve.net>
2000-03-29  0:00   ` David Starner
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     ` Robert Dewar
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-29  0:00       ` Marin D. Condic
2000-03-29  0:00         ` Robert A Duff
2000-03-29  0:00           ` Marin D. Condic
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             ` Robert Dewar
2000-04-02  0:00             ` swhalen
2000-03-29  0:00   ` Marc A. Criley
2000-03-29  0:00   ` Marin D. Condic
2000-03-29  0:00   ` swhalen
2000-03-29  0:00     ` Robert Dewar
2000-03-30  0:00       ` swhalen
2000-03-30  0:00   ` Ken Garlington
2000-03-30  0:00   ` Samuel T. Harris
2000-04-01  0:00     ` Robert Dewar [this message]
2000-04-05  0:00       ` Robert A Duff
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       ` Robert Dewar
2000-04-02  0:00         ` Geoff Bull
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