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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to