On Mon, 24 Sep 2007, Neil Mitchell wrote:
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!)
E.g.
http://darcs.haskell.org/htam/src/Number/PeanoNumber.hs
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe