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

[Brandon S. Allbery KF8NH]

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