[Haskell-cafe] Formalizing lazy lists?
gregory.woodhouse at sbcglobal.net
Fri Nov 18 14:04:11 EST 2005
--- Lennart Augustsson <lennart at augustsson.net> wrote:
> What do you mean by represent?
> It's easy enough to write down the lambda term that is the
> encoding of [0..].
> -- Lennart
You mean like \x -> x ? If I apply it to the Church numeral i, I get i
in return. But that hardly seems satisifying because infinite lists
seem to be a wholly different type of object.
Gregory Woodhouse <gregory.woodhouse at sbcglobal.net>
"Interaction is the mind-body problem of computing."
More information about the Haskell-Cafe