[Haskell-cafe] Shouldnt this be lazy too?

Andrew Coppin andrewcoppin at btinternet.com
Mon Sep 24 16:49:28 EDT 2007

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?

More information about the Haskell-Cafe mailing list