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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,fccea7ca608399cd
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news.glorb.com!news.cs.univ-paris8.fr!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Vector of Vectors.
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <496e8418$0$25733$4d3efbfe@news.sover.net>
 <aqxbl.525097$yE1.73554@attbi_s21> <6t8gc1F9ej88U1@mid.individual.net>
 <HeNbl.470657$TT4.98639@attbi_s22> <wccab9s6z2q.fsf@shell01.TheWorld.com>
 <c6b25ab4-ffc8-49e5-8ab3-18e3bc21b897@35g2000pry.googlegroups.com>
 <1k65xsljjpsa9$.1e4pcvnzbjpag.dlg@40tude.net>
 <wcc7i4tnaoq.fsf@shell01.TheWorld.com>
Date: Sat, 17 Jan 2009 18:18:24 +0100
Message-ID: <dg4bpwd71u9g$.z4gc72j51z58.dlg@40tude.net>
NNTP-Posting-Date: 17 Jan 2009 18:18:26 CET
NNTP-Posting-Host: 68c158eb.newsspool1.arcor-online.net
X-Trace: 
 DXC=ME5ZYaAAl5QI?44J>Z[:RQic==]BZ:af^4Fo<]lROoRQ^YC2XCjHcbYhW8AT9f3U`YDNcfSJ;bb[UIRnRBaCd<M^gDW4Be\OF2[g^b]JA7A4NV
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:3414
Date: 2009-01-17T18:18:26+01:00
List-Id: <comp.lang.ada>

On Sat, 17 Jan 2009 11:45:25 -0500, Robert A Duff wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> 
>> And the next step is
>>
>>    for Element in Vector loop
>>       -- place "new procedure" here!
>>    end loop;
> 
> Sather has an elegant iterator feature, which is along these lines.
> 
>> There is nothing better for iteration than loops.
> 
> Maybe things like "map" found in functional languages?

Iteration is meant to be stateful. Map, convolution, product etc are
different in my view.

>>...Downward closures are
>> meant for different stuff.
> 
> I'd say your above "for..." syntax should be thought of as syntactic
> sugar defined in terms of downward closures.  Or perhaps in terms
> of some coroutine-like concept.

I would say that downward closure is an argument of a map or some other
operation taking subprogram as an argument etc.

Concerning syntax, I think we should have introduced proper procedural
types with literals/aggregates of. Quite simple to do, IMO.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de