comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: RE: Bad coding standards
Date: Sat, 16 Dec 2000 01:28:12 GMT
Date: 2000-12-16T01:28:12+00:00	[thread overview]
Message-ID: <91egf6$vei$1@nnrp1.deja.com> (raw)
In-Reply-To: B6A1A9B09E52D31183ED00A0C9E0888C469959@nctswashxchg.nctswash.navy.mil

In article
<B6A1A9B09E52D31183ED00A0C9E0888C469959@nctswashxchg.
nctswash.navy.mil>,
> Why not?   Seeing how the Ada Reference Manual is
> the "bible" of the Ada language, written by the
> founders (or "pillars") of the language.

No, that's a peculiar description. It is a formal
standard.

>  Wouldn't it be reasonable to assume that the
> examples given in the reference manual would be
> written in a "good" style?

No it would be unreasonable. The examples are
supposed to illustrate the semantics, and the
purpose of illustrations is to show the semantics,
not to suggest how Ada should be written. The
semaphore done as a protected type is a good
example, everyone knows the semantics of semaphores,
so this example nicely illustrates how protected
types work, but it is not intended to suggest that
you should use semaphores for synchronization. There
are other such examples in the RM.

> You know, a reasonable guide.  What's that
> phrase? Oh yeah, a "style guide".

No it is an international standard for the language.
Not a style guide at all.

> Because I think it's ludicrous to assume those
> using the language manual, especially new users,
> wouldn't assume that the "examples" weren't a
> good style to follow.

Well new users coming the RM often form peculiar
conclusions because they do not understand the
nature of a language standard. Indeed, precisely
because the RM is (by comparison with some other
standards) quite readable, they may indeed make
the huge mistake of thinking it is something like
an Ada text book :-)

> I know later they could learn about style guides,
> but if it were another part of the standard, maybe
> the "Style Guide Annex"

Not completely out of the question if there was a
reasonable consensus on style, but there is not.
For example, a fair number of style guides contain
statements that "thou shalt not use feature XXXX
ever". Clearly no "standard" style guide could have
silly rules like that.

> then we would have universal approach.  Why not?
> Many in the  beginning didn't think we could get
> this many people, from different countries, to
> agree, within reason, on a programming language.

A very odd claim. Where does it come from? Many
programming languages have been standardized. The
fact that a language is standardized does not mean
that people agree it should be used for all purposes,
or even for any purposes. I was there throughout
the Ada standardization process, and I never heard
anyone suggest that they did not think it would be
possible to agree on a standard (after all it had
been done many times before for programming
languages).

> I'm not sure about the "Since Ada attempts to
> discourage the "copy principle,""
> part.  I'm not sure where that comes from.

From a fundamental design point of view that dislikes
redundancy in formal definitions.



Sent via Deja.com
http://www.deja.com/



  parent reply	other threads:[~2000-12-16  1:28 UTC|newest]

Thread overview: 56+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-12-15  5:00 Bad coding standards Beard, Frank
2000-12-15 14:14 ` Ken Garlington
2000-12-16  1:28 ` Robert Dewar [this message]
2000-12-18 20:00 ` Robert L. Spooner
  -- strict thread matches above, loose matches on Subject: below --
2000-12-19 17:46 Beard, Frank
2000-12-14  2:32 Beard, Frank
2000-12-14 12:19 ` Robert Dewar
2000-12-14 14:03 ` Ken Garlington
2000-12-14 20:14   ` Robert Dewar
2000-12-15  1:10     ` Ken Garlington
2000-12-18 16:09     ` Tucker Taft
2000-12-18 18:59       ` Marin David Condic
2000-12-18 22:20         ` Georg Bauhaus
2000-12-19 15:51           ` Tucker Taft
2000-12-19 16:12             ` Marin David Condic
2000-12-19 16:01           ` Robert Dewar
2000-12-19 15:49         ` Robert Dewar
2000-12-19 16:36           ` Marin David Condic
2000-12-20  1:52             ` Ken Garlington
2000-12-20 12:58               ` Marin David Condic
2000-12-20 14:27                 ` Ken Garlington
2000-12-21 23:19                   ` Marin David Condic
2001-01-03 19:49                     ` Wes Groleau
2001-01-06 19:45                       ` Lao Xiao Hai
2000-12-20 11:56             ` Mario Amado Alves
2000-12-19 18:05           ` Larry Kilgallen
2000-12-19 15:42       ` Robert Dewar
2000-12-15  0:52 ` Georg Bauhaus
2000-12-13 22:23 Beard, Frank
2000-12-13 23:56 ` Ken Garlington
2000-12-14  0:37   ` Ken Garlington
2000-12-14  4:08 ` Robert Dewar
2000-12-14 14:06   ` Ken Garlington
2000-12-14 20:15     ` Robert Dewar
2000-12-15  5:55 ` Keith 
     [not found] <910u3p$v9j$1@nnrp1.deja.com>
     [not found] ` <3A3445A8.8FC404D5@acm.org>
     [not found]   ` <912ut9$fga$1@nnrp1.deja.com>
2000-12-12  4:56     ` constant string array Jeff Carter
2000-12-12 20:57       ` Beard, Frank
2000-12-13  0:39         ` Robert Dewar
2000-12-13  2:02           ` Beard, Frank
2000-12-13  2:33             ` Robert Dewar
2000-12-13  2:55               ` Beard, Frank
2000-12-13  4:00                 ` Ken Garlington
2000-12-13 13:38                   ` Bad coding standards Marc A. Criley
2000-12-13 13:54                     ` Ken Garlington
2000-12-13 20:55                     ` David Emery
2000-12-14 13:07                       ` Robert Dewar
2000-12-14 14:21                         ` Ken Garlington
2000-12-15  0:08                           ` Wayne Magor
2000-12-15  1:40                             ` Ken Garlington
2000-12-15  3:18                         ` DuckE
2000-12-15  4:45                           ` Ed Falis
2000-12-15 15:44                           ` Robert C. Leif, Ph.D.
2000-12-15 16:34                             ` Ted Dennison
2000-12-16  6:08                               ` Robert C. Leif, Ph.D.
2000-12-16  1:16                             ` Robert Dewar
2000-12-16  1:19                             ` Robert Dewar
2000-12-17  5:49                               ` Robert C. Leif, Ph.D.
2000-12-17  8:24                                 ` Robert Dewar
2000-12-15 15:56                       ` Charles H. Sampson
2000-12-15 20:43                         ` Wayne Lydecker
2000-12-16  4:31                           ` Ken Garlington
2000-12-16 11:36                           ` Robert Dewar
2000-12-15 21:36                         ` tmoran
replies disabled

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