[Haskell-cafe] Re: unsafeInterleaveIO respecting order of actions

Brandon S. Allbery KF8NH allbery at ece.cmu.edu
Thu Jan 1 20:29:54 EST 2009

On 2009 Jan 1, at 20:08, David Menendez wrote:
> On Thu, Jan 1, 2009 at 7:39 PM, Achim Schneider <barsoap at web.de>  
> wrote:
>> There are no lazy monads. Monads imply explicit sequencing...
> Huh? How are you defining "lazy monad"?

We've had this discussion before; somewhere in the archives is an  
example of a State monad doing things in data-driven order instead of  
the apparently "explicit" monadic sequencing.  Monads don't insure  
sequencing unless designed to do so (as, for example, IO).

brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH

More information about the Haskell-Cafe mailing list