Version française
Home     About     Download     Resources     Contact us    
Browse thread
equality operators in OCaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christophe TROESTLER <Christophe.Troestler+ocaml@u...>
Subject: Re: [Caml-list] equality operators in OCaml
On Thu, 24 Jul 2008 21:40:36 -0400, Peng Zang wrote:
> 
> On Thursday 24 July 2008 06:32:36 pm Jon Harrop wrote:
> > There are some complications here. Firstly, NaN has multiple
> > representations that may or may not be physically equal but is always
> > structurally unequal to itself.
> 
> Yeah, that always seemed broken to me.  If two things are physically equal 
> (they occupy the same memory space) it doesn't make sense for them to be 
> structurally unequal (contain different content).  Personally, one of the 
> first things I did is redefined (=) to fix this.

Humm...  http://citeseer.ist.psu.edu/goldberg91what.html is certainly
a good read...

My 0.02¤,
C.