[Haskell-cafe] Foldable, Traversable and choosing an order

Juan Casanova juan.casanova at ed.ac.uk
Tue Sep 24 11:12:21 UTC 2019

Quoting Brent Yorgey <byorgey at gmail.com> on Tue, 24 Sep 2019 04:56:06 -0500:

> Your implementation of traverse DOES make a choice of order (any
> implementation must).  In particular f <*> x does the effects of f first,
> and then x.

Ahhh, so it's in the applicative that the order choice happens! And I  
could change it by essentially flipping the function application and  
so on.

That makes sense. Thanks!

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

More information about the Haskell-Cafe mailing list