On Wed, Aug 12, 2009 at 9:34 AM, Derek Elkins<derek.a.elk...@gmail.com> wrote: > On Tue, Aug 11, 2009 at 3:51 PM, Robin Green<gree...@greenrd.org> wrote: >> On Wed, 12 Aug 2009 11:37:02 +0200 >> Peter Verswyvelen <bugf...@gmail.com> wrote: >> >>> Yes, sorry. >>> >>> But I think I already found the answer to my own question. >>> >>> DDC functions that are lazy don't allow side effects: >>> http://www.haskell.org/haskellwiki/DDC/EvaluationOrder >>> >>> Anyway it would be cool if the DDC EffectSystem would also work on >>> lazy functions :) >> >> As was just pointed out in the unsafeDestructiveAssign thread from which >> this thread was forked, effects are incompatible with non-strict >> evaluation. > > No, they aren't. At least, they aren't in any technical way. There > have been more than a few languages supporting both laziness and > mutation starting with Algol.
As far as I know, Algol had call-by-name, not call-by-need. -- Dave Menendez <d...@zednenem.com> <http://www.eyrie.org/~zednenem/> _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
