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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.66.162.134 with SMTP id ya6mr7951118pab.7.1377702375395;
        Wed, 28 Aug 2013 08:06:15 -0700 (PDT)
X-Received: by 10.49.1.112 with SMTP id 16mr85284qel.7.1377702375158; Wed, 28
 Aug 2013 08:06:15 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!v102.xanadu-bbs.net!xanadu-bbs.net!nntp.club.cc.cmu.edu!newsfeed.news.ucla.edu!usenet.stanford.edu!n2no6132748pbg.1!news-out.google.com!z6ni21374pbu.0!nntp.google.com!fx3no5879292qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 28 Aug 2013 08:06:14 -0700 (PDT)
In-Reply-To: <1oppje6lzatpk.pritovj8qcbj.dlg@40tude.net>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=129.59.115.4;
 posting-account=7Oy7OQoAAABhVYFOo553Cn1-AaU-bSfl
NNTP-Posting-Host: 129.59.115.4
References: 
 <19595886.4450.1332248078686.JavaMail.geo-discussion-forums@vbbfy7>
 <2012032020582259520-rblove@airmailnet> <jkc59a$hs5$2@speranza.aioe.org>
 <12ee9bc5-3bdf-4ac0-b805-5f10b3859ff4@googlegroups.com>
 <vhcvr8d4kq6ribdqeeb0b857ei5aa5luiv@4ax.com>
 <6c58fae4-6c34-4d7a-ab71-e857e55897c0@x6g2000vbj.googlegroups.com>
 <wccvc5b49yc.fsf@shell01.TheWorld.com> <op.w2g9br0kule2fv@cardamome>
 <246849b7-7a53-48a2-8f64-ff6dfb2086ce@googlegroups.com>
 <521dbbbb$0$9520$9b4e6d93@newsspool1.arcor-online.net>
 <1spiuuuxfwqq4$.46v46qs98684.dlg@40tude.net>
 <521de20d$0$9507$9b4e6d93@newsspool1.arcor-online.net>
 <8iym21y3cv14.1vuethuo3ua53$.dlg@40tude.net>
 <521df1e2$0$9510$9b4e6d93@newsspool1.arcor-online.net>
 <1oppje6lzatpk.pritovj8qcbj.dlg@40tude.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1e2af50b-1112-41b6-b46b-296dfe895edf@googlegroups.com>
Subject: Re: Ada advocacy
From: Eryndlia Mavourneen <eryndlia@gmail.com>
Injection-Date: Wed, 28 Aug 2013 15:06:15 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: news.eternal-september.org comp.lang.ada:17022
Date: 2013-08-28T08:06:14-07:00
List-Id: <comp.lang.ada>

On Wednesday, August 28, 2013 9:07:34 AM UTC-5, Dmitry A. Kazakov wrote:
> On Wed, 28 Aug 2013 14:49:51 +0200, G.B. wrote:
>   ...
> A [typed] language where synchronization primitives are first class objects
> shall have this. Unfortunately nobody knows how.

The compromise would seem to be the use of task interface types.  These can be used to specify portions of code, which then can be combined into the desired task structure, including sequence, for specific needs.

-- Eryndlia (KK1T)