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

brogoff wrote:
>>
>>Where do you see the wart with Haskell's approach?
> 
> Which one? Haskell 98's? Or the multiparameter one with functional
> dependencies and ... (GHC and Hugs)?

Since the topic is just equality, plain simple H98 type classes are more 
than enough.

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

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