[Haskell-cafe] Wikipedia on first-class object

[Jonathan Cast]

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