Re: [Haskell-cafe] Wikipedia on first-class object

On 27 Dec 2007, at 9:34 AM, Cristian Baboi wrote:

I'll have to trust you, because I cannot test it.

let x=(1:x); y=(1:y) in x==y .

I also cannot test this:

let x=(1:x); y=1:1:y in x==y

Correct. You could try proving it. Or you could try proving that these expressions are equal to _|_. Equality is defined on lists because we frequently use finite lists, where it makes sense. Infinite lists are more like functions --- useful in the intermediate stages of computation, but really orthogonal to everything you think you know about computing. jcc