[Haskell-cafe] Re: Optimizing 'sequence'

Chaddaï Fouché chaddai.fouche at gmail.com
Tue Jul 22 05:53:00 EDT 2008


2008/7/22 Luke Palmer <lrpalmer at gmail.com>:
> 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ï


More information about the Haskell-Cafe mailing list