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