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:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
