[Haskell-cafe] Shouldnt this be lazy too?
ndmitchell at gmail.com
Mon Sep 24 15:38:48 EDT 2007
> >> 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!)
More information about the Haskell-Cafe