[Haskell-cafe] Formalizing lazy lists?

[Greg Woodhouse]

--- 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