Re: [Haskell-cafe] Formalizing lazy lists?

18 Nov 2005


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


"Interaction is the mind-body problem of computing."

--Philip Wadler

Re: [Haskell-cafe] Formalizing lazy lists?

Greg Woodhouse