On 2007-09-24, Andrew Coppin <[EMAIL PROTECTED]> wrote: > Neil Mitchell wrote: >> Hi >> >> 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!) >> > > Um... isn't a lazy natural just a list with no data, where the list > length encodes a number?
That's one particularly simple representation, yes. "Lazy Unary". One can also construct other representations that may be more efficient in certain situations. -- Aaron Denney -><- _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe