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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,d00514eb0749375b
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!l14g2000yqb.googlegroups.com!not-for-mail
From: Shark8 <onewingedshark@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: initialize an array (1-D) at elaboration using an expression
 based on the index?
Date: Sun, 24 Oct 2010 19:23:11 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <985a178c-8dfc-48af-9871-76a64750a571@l14g2000yqb.googlegroups.com>
References: <i9amkr$goj$1@speranza.aioe.org>
 <1f6bad81-e3d2-428b-a1a0-45acc7f96f68@m7g2000yqm.googlegroups.com>
 <9df4e5eb-fba7-4e8c-ba44-cd1ad4081d3b@26g2000yqv.googlegroups.com>
 <ade14be1-de0a-4dfa-a2a5-6009fa6da139@l20g2000yqm.googlegroups.com>
NNTP-Posting-Host: 174.28.203.45
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1287973391 24868 127.0.0.1 (25 Oct 2010 02:23:11
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 25 Oct 2010 02:23:11 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: l14g2000yqb.googlegroups.com; posting-host=174.28.203.45;
 posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US; rv:1.9.2.11)
 Gecko/20101012 Firefox/3.6.11 ( .NET CLR 3.5.30729; .NET4.0E),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:14731
Date: 2010-10-24T19:23:11-07:00
List-Id: <comp.lang.ada>

On Oct 24, 4:48=A0pm, Phil Clayton <phil.clay...@lineone.net> wrote:
> Another way to think about this is that
>
> =A0 (for I in T =3D> F(I))
>
> would be equivalent to and interchangeable with the named aggregate
>
> =A0 (X1 =3D> F(X1), X2 =3D> F(X2), ...)
>
> where X1, X2, ... are the elements of subtype T. =A0With that view, it
> seems a fairly simple extension to the language from a technical
> perspective.
>
> Phil

True enough; however just because something is easy (or *CAN* be done)
doesn't make it the right thing.
The C/C++ allowance of assignments within the conditional-test is a
good example of something that *CAN* be done that shouldn't be.
The syntax of the proposed (for ... ) construct simply look _wrong_ to
me, like a human-knee bending backward. {I think the same about the
new conditional expressions too, they simply go against the grain of
the rest of the language IMO.}