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

Achim Schneider barsoap at web.de
Thu Jan 1 20:39:43 EST 2009

"Brandon S. Allbery KF8NH" <allbery at ece.cmu.edu> wrote:

> 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).
The more I try to put stuff into words, the more I part from lambda
calculus into the regions of syntactical pitfalls. Therefore, I'm just
going to shut up.

(c) this sig last receiving data processing entity. Inspect headers
for copyright history. All rights reserved. Copying, hiring, renting,
performance and/or quoting of this signature prohibited.

More information about the Haskell-Cafe mailing list