Re: [Haskell-cafe] If monads are single/linearly threaded, doesn't that reduce parallelism?

2010-02-11 Thread Matthias Görgens 
Perhaps if you search for Abelian Monad or so, you will find
interesting things in the category theory literature.  Some of them
may be transplantable to Haskell --- but you probably don't want a
completely commutative structure.  Arrows seem to express the
dependencies between operations more fine-grained than the sequencing
that Monads require.  (I meant to look into arrows for ages..)

Matthias.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] If monads are single/linearly threaded, doesn't that reduce parallelism?

2010-02-10 Thread Casey Hawthorne 
On Tue, 9 Feb 2010 21:56:49 +, you wrote:

>Monads are not commutative.  A structure that would tell the compiler
>that it's commutative, would give it more leeway for optimization (and
>parallel execution).

Thank you.

"Not commutative" was the phrase I was looking for.
--
Regards,
Casey
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] If monads are single/linearly threaded, doesn't that reduce parallelism?

2010-02-09 Thread Matthias Görgens 
Monads are not commutative.  A structure that would tell the compiler
that it's commutative, would give it more leeway for optimization (and
parallel execution).
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] If monads are single/linearly threaded, doesn't that reduce parallelism?

2010-02-09 Thread Eugene Kirpichov 
In what exact sense are monads "single threaded", and of which exactly
parallelism are you talking about?

2010/2/10  :
>
>
> ___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>



-- 
Eugene Kirpichov
Web IR developer, market.yandex.ru
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] If monads are single/linearly threaded, doesn't that reduce parallelism?

2010-02-09 Thread caseyh 



___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe