[Haskell-cafe] Formalizing lazy lists?

Greg Woodhouse 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."

--Philip Wadler

More information about the Haskell-Cafe mailing list