[Haskell-cafe] Re: Does laziness make big difference?
nick.linker at rambler.ru
Fri Feb 16 01:30:18 EST 2007
>> The question is the following: how big the gap between strict languages
>> with lazy constructs and Haskell? Does the default lazyness have
>> irrefutable advantage over default strictness?
> Laziness is needed to achieve true compositionality. This point is
> elaborated in "Why functional programming matters" by John Hughes
Yes, I like the paper. But the examples can be just decomposed into
generator and the rest, and the generator can be made lazy in case of
strict languages. For instance, finding "Newton-Raphson Square Roots"
can be expressed in strict language (Scala again):
repeat (f, a) : Stream[Double] = Stream.cons(repeat f (f a))
or in hypothetical language "L" with some syntactic sugar
repeat f a = *lazy* cons a (repeat f (f(a))
To be clear, I don't mind against laziness at all, I want to know what I
get if I take laziness everywhere as default semantics.
> I also think that the laziness in Haskell is already so implicit that
> 90% of the Haskell code written so far will simply break irreparably if
> you experimentally remove it.
Yes, I understand, that the present Haskell code heavily bases on
laziness, but I'm going into the problem in general: how much I get, if
I switch from default strictness to default laziness in my hypothetical
language L? Or, from other side, how much I throw away in the reverse case?
> By the way, lazy evaluation is strictly more powerful than eager
> evaluation (in a pure language, that is) with respect to asymptotic
> Richard Bird, Geraint Jones and Oege de Moor.
> "More Haste, Less Speed."
You gave me a lot of food for thought. Thank you for the link.
More information about the Haskell-Cafe