[Haskell-cafe] Re: Why?
Ketil Malde
ketil at malde.org
Thu Dec 10 13:43:07 EST 2009
Sebastian Sylvan <sebastian.sylvan at gmail.com> writes:
> I think laziness requires purity to make sense. Laziness implies that the
> order of evaluation is highly unpredictable and depends strongly on the
> implementation details of libraries and such
Laziness is like single-threaded concurrency.
> So it's fickle. Someone adds an if statement somewhere and all of a
> sudden a variable gets evaluated earlier than it used to. It would be
> madness to write any code which depends on this unpredictable behaviour.
I'm always amazed that shared-address space multi-threaded programs
work at all.
-k
--
If I haven't seen further, it is by standing in the footprints of giants
More information about the Haskell-Cafe
mailing list