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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Ada lacks lighterweight-than-task parallelism
Date: Mon, 2 Jul 2018 17:05:45 +0200
Organization: Aioe.org NNTP Server
Message-ID: <phdf08$not$1@gioia.aioe.org>
References: <e72534b1-17a7-40b5-92b9-01a4695e2743@googlegroups.com>
 <993f28de-6a64-480b-9c6e-d9714bcdef0d@googlegroups.com>
 <dbc90b0f-dc9b-4e5d-8009-7f02547055ca@googlegroups.com>
 <pgcuqh$7ij$1@gioia.aioe.org>
 <167bec10-2a52-4c79-958d-91faadad915b@googlegroups.com>
 <pgdhag$1aa2$1@gioia.aioe.org>
 <2d6a5ab7-812f-47a9-a958-44177a3cf203@googlegroups.com>
 <pgdlc0$1hnt$1@gioia.aioe.org>
 <64a526cb-e6d5-44a6-b446-5b652ebe60ca@googlegroups.com>
 <pgdoip$1ntl$1@gioia.aioe.org> <ph6a8f$vue$1@franka.jacob-sparre.dk>
 <ph6b2l$1cta$1@gioia.aioe.org> <ph6cue$v90$1@franka.jacob-sparre.dk>
 <ph7fnd$1bor$1@gioia.aioe.org>
 <845ed7d6-f0c0-4c6e-834c-eea8f2ad1792@googlegroups.com>
 <pha7tr$1hc5$1@gioia.aioe.org>
 <fbb45b0a-0098-43f8-8ecf-950d82dbb221@googlegroups.com>
NNTP-Posting-Host: MyFhHs417jM9AgzRpXn7yg.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.8.0
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.8.3
Xref: reader02.eternal-september.org comp.lang.ada:53506
Date: 2018-07-02T17:05:45+02:00
List-Id: <comp.lang.ada>

On 2018-07-02 15:13, Marius Amado-Alves wrote:
> "To me that is still a property of the enumerated object rather than of the loop." (Kasakov)
> 
> Hmmm... are there not cases where the *same* "unordered" object sustains two (separated) loops, loop1 truly "unordered" but loop2 with more complex processing requiring *order*?

An ordered set or a set of a stochastic/independent order is iterated in 
the only way it offers. Iteration is an interface to a set or container, 
no magic, just a set of operations like 'First, 'Succ etc.

Answering the question, if the same object must be iterated differently 
then, obviously to me, it must offer two different interfaces for doing 
so. Interfaces can be views as in the case of "in reverse", and so could 
be an interface for ad-hoc parallel loops.

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