Archives of the Caml mailing list > Message from Andreas Rossberg

Browse thread

Type abstraction and (polymorphic) equality

Christophe TROESTLER
- Jon Harrop
  - Andreas Rossberg
  - Christophe TROESTLER
    - brogoff
      - Christophe Raffalli
  - Christophe TROESTLER
  - John Skaller
    - Andreas Rossberg
      - brogoff
        
        Andreas Rossberg
      - John Skaller
        
        Andreas Rossberg
- Jean-Christophe Filliatre
- William Lovas
- sejourne_kevin
  - Andreas Rossberg
    - John Skaller
      - Alain Frisch
- Alain Frisch
  - padiolea@i...
    - Alain Frisch

Date:	-- (:)
From:	Andreas Rossberg <rossberg@p...>
Subject:	Re: [Caml-list] Type abstraction and (polymorphic) equality

Jon Harrop wrote:
> 
> I do not believe so. IIRC, SML has equality types to help with this problem.

Equality types only provide half a solution (preventing accidental 
(ab)use of polymorphic equality). Solving the whole problem (enabling 
user-defined equality on user-defined types) requires something more 
general, e.g. type classes.

   - Andreas

-- 
Andreas Rossberg, rossberg@ps.uni-sb.de

Let's get rid of those possible thingies!  -- TB