add generic traverse method, a la Data.Traversable about vector

[cartazio]

this and some related stuff will be in the next minor and major releases both

[cartazio]

GOOD IDEA.
I think we should totally get this into the 0.11 (we've a few other things we're keen on adding, and this totally makes sense to get into 0.11)

[dolio]

It's actually difficult to be very efficient (I think). The problem is that the efficient way to build a vector is to write to a mutable vector and freeze. But when you are traversing, you have an arbitrary applicative involved blocking your ability to do efficient ST stuff. So, you can only build up ST actions as closures, or use an intermediate list/stream.

You can do better than creating a list first, of course. But it might always be a bit lackluster.

I think it's a good thing to have, though.

[glguy]

I think it might look like this. Feel free to disregard the lens import, I was just using it for testing.

http://lpaste.net/119041

[yongqli]

It would also be very useful to have mapAccumL, mapAccumR, mapAccumLM, mapAccumRM, etc.

[cartazio]

Cant we define the stream / bundle version efficiently of traverse
efficiently though?
On Jan 23, 2015 4:27 AM, "yongqli" [email protected] wrote:

It would also be very useful to have mapAccumL, mapAccumR, mapAccumLM,
mapAccumRM, etc.

—
Reply to this email directly or view it on GitHub
#69 (comment).

[nh2]

Without contributing anything useful so far here, I'd benefit a lot from the mapAccum* functions for vectors.

[ttuegel]

Cant we define the stream / bundle version efficiently of traverse efficiently though?

Maybe. The trouble is that Stream and Bundle need an underlying monad, but traverse only gives us an applicative. But I think we can get away with a monad transformer that carries the applicative "along for the ride," as if it were some kind of monoidal functor.

[Daniel-Diaz]

I am very interested in having some way of traversing vectors efficiently, especially in the way of the mapAccum* functions. Is this possible at all?

[cartazio]

@dolio now that primMonad is stackable, can we do something for mutable vectors that partially addresses this?

[cartazio]

BUMP