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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM 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.68.234.38 with SMTP id ub6mr6246192pbc.2.1337180433257;
        Wed, 16 May 2012 08:00:33 -0700 (PDT)
Path: 
 pr3ni5581pbb.0!nntp.google.com!news2.google.com!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: NatarovVI <4KCheshireCat@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: fyi, very interesting Ada paper OOP vs. Readability
Date: Wed, 16 May 2012 15:00:28 +0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <jp0fec$1hu$1@speranza.aioe.org>
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>
	<4faf8700$0$6635$9b4e6d93@newsspool2.arcor-online.net>
NNTP-Posting-Host: TNf0rmM5b4cIzEdXORLLAg.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: Pan/0.135 (Tomorrow I'll Wake Up and Scald Myself with Tea; GIT
	30dc37b master)
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset=KOI8-R
Content-Transfer-Encoding: 8bit
Date: 2012-05-16T15:00:28+00:00
List-Id: <comp.lang.ada>

>> 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?

"parallelism is not concurrency"
look at existentialtypes.wordpress.com for terminology explanation.
parallelism is not about predictability. it's only about computational
efficiency of achieving correct result. we can do parallelism without
concurrency.

FP <> Haskell!
i not sayed one word about monads or damned Haskell.
more, personally i do not like Haskell, his "benefits" seems badly 
founded for me. and not only for me.

those buzzy monads... programming with IO no better than imperative. by 
definition. sure it not helps to parallelise and never will.