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

[jerzy.karczmarczuk at info.unicaen.fr]

Bulat Ziganshin: 

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

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

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

Jerzy Karczmarczuk