22 Jul
2008
22 Jul
'08
9:53 a.m.
2008/7/22 Luke Palmer
A little formal reasoning reveals that sequence1 = sequence2 exactly when (>>=) is strict in its left argument. There are four common monads which are _not_: Identity, Reader, Writer, State (and RWS by extension).
Still if that makes that much of a difference, maybe we could envision putting a sequence' in the library ? -- Jedaï