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.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b076e6315fd62dc5
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.204.132.81 with SMTP id a17mr425551bkt.4.1336903452991;
        Sun, 13 May 2012 03:04:12 -0700 (PDT)
Path: 
 h15ni3035bkw.0!nntp.google.com!news2.google.com!news.glorb.com!feeder.erje.net!news-2.dfn.de!news.dfn.de!news.uni-stuttgart.de!news.belwue.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sun, 13 May 2012 12:03:46 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:12.0) Gecko/20120428 Thunderbird/12.0.1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: fyi, very interesting Ada paper OOP vs. Readability
References: <jodq5f$j5f$1@speranza.aioe.org> <johvef$cgg$1@speranza.aioe.org>
 <1ir29foizbqv1.v9uuhpykjl3n.dlg@40tude.net> <joifa0$e9f$1@speranza.aioe.org>
 <18ct9oamzq1u1$.wh6hj9mlqxna$.dlg@40tude.net>
 <jon8og$5o1$1@speranza.aioe.org>
In-Reply-To: <jon8og$5o1$1@speranza.aioe.org>
Message-ID: <4faf8700$0$6635$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 13 May 2012 12:03:44 CEST
NNTP-Posting-Host: 500b0a45.newsspool2.arcor-online.net
X-Trace: 
 DXC=7>ajFTo=`A=_A0jCfgHO6>A9EHlD;3Yc24Fo<]lROoR18kF<OcfhCO;<A`J>alo?o?PCY\c7>ejV8J]En?32IWG6;WG]2g7k5m2
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=KOI8-R; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2012-05-13T12:03:44+02:00
List-Id: <comp.lang.ada>

On 13.05.12 05:11, NatarovVI wrote:

> in the modern parallel world, functional way better than imperative.
> because data flows in parallel program will be clearer and more
> deterministic.

In all fairness, contemporary parallelism frequently needs to
handle signals, and emit signals, at well defined points
in time, and in an order dictated by the purpose of the
program. The signals are results of the program's parallel
computations.

In which ways does monadic IO simplify predictability of effects?