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,45b47ecb995e7a3
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-07 19:23:59 PST
Path: 
 archiver1.google.com!newsfeed.google.com!postnews1.google.com!not-for-mail
From: dewar@gnat.com (Robert Dewar)
Newsgroups: comp.lang.ada
Subject: Re: Ada Idioms Progress Preview
Date: 7 Aug 2001 19:23:59 -0700
Organization: http://groups.google.com/
Message-ID: <5ee5b646.0108071823.26539ac@posting.google.com>
References: <3B6F1B2F.4FC3C833@gsde.hou.us.ray.com>
 <SCIb7.37009$Kd7.22894159@news1.rdc1.sfba.home.com>
 <4V+as+yNIsOy@eisner.encompasserve.org>
NNTP-Posting-Host: 205.232.38.244
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 997237439 830 127.0.0.1 (8 Aug 2001 02:23:59 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 8 Aug 2001 02:23:59 GMT
Xref: archiver1.google.com comp.lang.ada:11565
Date: 2001-08-08T02:23:59+00:00
List-Id: <comp.lang.ada>

Kilgallen@eisner.decus.org.nospam (Larry Kilgallen) wrote in message news:<4V+as+yNIsOy@eisner.encompasserve.org>...
 
> 	MY_VAR : MY_TYPE := MY_FUNC(37);
> 
> is an idiom.  It is strange to someone just learning Ada, but 
> familiar to somewhat who knows Ada.  That is analogous to idioms in 
> English.

And I think that example is *EXACTLY* wrong. This is a straightforward
construct in the Ada language, and is by no stretch of the imagination
an idiom. The analogy with someone just learning english is false. 
Someone just learning English might have trouble understanding:

   the cat sat on the mat

but that does not make it an idiom!

And I think that the proposed catalog of idioms will be far more
useful if it is not simply a rehash of basic Ada rules (as the above
example would be).

In a sense, the example above is simply an instantiation of an axiom,
where the axiom is:

   object_declaration ::=
        defining_identifier_list : [aliased] [constant] 
                                    subtype_indication
                                   [:= expression];

An idiom is more like a theorem, whose meaning must be deduced by
combining axioms, where I am using axiom to mean a basic rule of the
language.

Now if you want to talk about Ada constructs that might be unfamiliar
to someone whose primary knowledge is some other language X, then
that's indeed also useful, but is the solution to a different problem