[Haskell-cafe] Monads in Scala, XSLT, Unix shell pipes was Re: Monads in ...

[Bulat Ziganshin]

Hello jerzy,

Sunday, November 27, 2005, 3:49:07 PM, you wrote:

>> for pure functional computations concurrency is just one of
>> IMPLEMENTATION mechanisms, and it doesn't appear in abstractions
>> DEFINITIONS 

jkiuf> Well, there are formal aspects of the specification of concurrency as well.
jkiuf> Do you claim that no language has the right to demand *abstractly*  that
jkiuf> evaluating
jkiuf> runtwo (proc1) (proc2) 

jkiuf> mean: launch the two concurrently and process further the first outcome? 

for SPECIFICATION of pure functional computation? ;)


-- 
Best regards,
 Bulat                            mailto:bulatz at HotPOP.com