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

On 2009 Jan 1, at 20:08, David Menendez wrote:

On Thu, Jan 1, 2009 at 7:39 PM, Achim Schneider 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@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH