24 Sep
2019
24 Sep
'19
11:12 a.m.
Quoting Brent Yorgey
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.