Archives of the Caml mailing list > Message from Pierre Weis

Browse thread

polymorphic equality and overloading

Eijiro Sumii
- Brian Rogoff
  - Eijiro Sumii
    - Jacques Garrigue
      - Eijiro Sumii
        
        Jacques Garrigue
        
        Eijiro Sumii
        
        Pierre Weis
        
        Eijiro Sumii
        
        Pierre Weis
        
        Eijiro Sumii

Date:	-- (:)
From:	Pierre Weis <Pierre.Weis@i...>
Subject:	Re: polymorphic equality and overloading

> Neither do I, and I also don't see whether the polymorphic
> (in)equalities are more useful than the "polymorphic addition".  That
> was (and is) my question.

Look at mathematics: equality is polymorphic. Addition is just overloaded.

Best regards,

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://cristal.inria.fr/~weis/