[Haskell-cafe] Language extensions

[Jules Bean]

Roberto Zunino wrote:
> Ah, silly me! I checked that inequality was preserved, but forgot that 
> (==) diverges on infinite list!
> 
> Indeed, strictly speaking, Eq [] does not satisfy the Eq invariant x==x.

All haskell types contain divergence. So all Eq types have exactly this 
same problem.

We 'like' infinite lists because they are a kind of 'productive 
divergence'. But they still diverge.


Jules