[Haskell-cafe] Shouldnt this be lazy too?

[Neil Mitchell]

Hi

> >> In this world, use "length (take 11 [1..]) > 10"...
> >>
> > not (null (drop 10 [1..])) is surely faster (not tested...)
> >
> Faster? There might be a few microseconds in it.
>
> Clearer? Possibly... ;-)

lengthNat [1..] > 10

Couldn't be clearer, and can be made to work perfectly. If anyone does
want to pick up the lazy naturals work, I can send over the code (or
write it yourself - its not hard!)

Thanks

Neil