Archives of the Caml mailing list > Message from John Skaller

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:	John Skaller <skaller@u...>
Subject:	Re: [Caml-list] Type abstraction and (polymorphic) equality

On Thu, 2005-06-30 at 11:53 +0200, Andreas Rossberg wrote:
> John Skaller wrote:
> > 
> > Executive Summary: I guess no wart free solution can exist.
> 
> Where do you see the wart with Haskell's approach?

That is hard to answer without knowing what Haskell's approach is,
perhaps you can outline it?

-- 
John Skaller <skaller at users dot sourceforge dot net>
Download Felix: http://felix.sf.net