"Brandon S. Allbery KF8NH" <allb...@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 <bars...@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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe