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,81bb2ce65a3240c3
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Received: by 10.68.241.7 with SMTP id we7mr6414404pbc.4.1337002847811;
        Mon, 14 May 2012 06:40:47 -0700 (PDT)
Path: 
 pr3ni25066pbb.0!nntp.google.com!news1.google.com!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: What would you like in Ada202X?
Date: Mon, 14 May 2012 15:40:11 +0200
Organization: cbb software GmbH
Message-ID: <77mwuc5z6kdu.14qt5gh4wmt7i$.dlg@40tude.net>
References: <3637793.35.1335340026327.JavaMail.geo-discussion-forums@ynfi5>
 <r9nolai9rkz8$.1j95yhyvqvm3o.dlg@40tude.net>
 <jofqoo$mrj$1@katthult.thorslund.org>
 <Pine.LNX.4.64.1205141119370.13722@medsec1.medien.uni-weimar.de>
 <qtxntlbkkt94$.vdjdpliabtdo$.dlg@40tude.net>
 <4fb10423$0$6628$9b4e6d93@newsspool2.arcor-online.net>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Date: 2012-05-14T15:40:11+02:00
List-Id: <comp.lang.ada>

On Mon, 14 May 2012 15:09:54 +0200, Georg Bauhaus wrote:

> On 14.05.12 14:19, Dmitry A. Kazakov wrote:

>> P.S. I wonder why people keep on calling that thing loop. It has little to
>> do with iterations. It is a set of paramerized sequences of statements
>> executed asynchronously with a synchronization point at the end. The syntax
>> should reflect that.
> 
> For a start,
> 
>   for all I in 1 .. 10 do
>     { stmt }
>   end do all;

Yes, I also thought about that, but it still looks much like a loop.
 
>   for some I in 1 .. 10 do
>     { stmt }
>   end do some;

I considered how to do this:

   up-to-10-instances of
      ...
      accept Service_Request do
          ...
      end do;
      ...
   end;

The semantics is: accept 1 to 10 calls to the entry Service_Request and
service all rendezvous concurrently.

> While we are at it, can we have goal directed evaluation � la Icon?
> 
>    while some I ... => P(I, ...) do
>       { stmt }
>    end do some;

The semantics is unclear, how does I change? Is it inference?

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