[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>
>> 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