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).
--
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com
system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu
electrical and computer engineering, carnegie mellon university KF8NH
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe