[Haskell-cafe] Shouldnt this be lazy too?
ndmitchell at gmail.com
Mon Sep 24 16:52:56 EDT 2007
> > 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?
Pretty much, yes.
More information about the Haskell-Cafe