[Haskell-cafe] Shouldnt this be lazy too?

[Andrew Coppin]

Vimal wrote:
> Hi all,
>
> I was surprised to find out that the following piece of code:
>
>   
>> length [1..] > 10
>>     
>
> isnt lazily evaluated! I wouldnt expect this to be a bug, but
> in this case, shouldnt the computation end when the length function
> evaluation goes something like:
>
>   
>> 10 + length [11..]
>>     
>
> ?
>
>   

In an ideal world, yes.

In this world, use "length (take 11 [1..]) > 10"...