[Haskell-cafe] ANNOUNCE: arrow-list. List arrows for Haskell.
fischer at nii.ac.jp
Sun Nov 7 06:33:34 EST 2010
> I'm planning to write up a blog post about using list arrows for XML
Ok, I'll say tuned! Maybe a smaller example for the Haddock docs needs
> Maybe this sounds weird on the Haskell mailing list, but at Silk
> we have a full implementation of (functional reactive) list arrows
> statically optimize to a more efficient form. This is needed because
> I'm reinventing all of this in Haskell now to gain more insight in
Sounds more interesting than weird to me. In case you blog about that
too, I'll probably read it. I'm interested to get an intuition what
you can do with arrows and what not. An intuition that goes beyond the
quite abstract "you can't choose different computation paths based on
the result of a computation". Can you, for example, define a `perm`
arrow that yields every permutation of it's input? Monadic
implementations look like they need `>>=` but there may be another
way.. Maybe you now have an example for the docs ;o)
> I'm also planning to investigate whether it is possible (useful) to
> perform the list computations (the map in concatMap) in parallel.
> I'm not sure if someone has already tried this for list monads.
I tried something similar a while ago (for monads):
there are two occurrences of the `sum` function which should probably
be `alt` instead.
More information about the Haskell-Cafe