Archives of the Caml mailing list > Message from Jon Harrop

Browse thread

"OCaml gives you only monomorphic methods in classes."

Jon Harrop
- Gordon Henriksen
  - Jon Harrop
    - Gordon Henriksen
      - Jon Harrop
      - Kuba Ober
- Dylan William Hardison
  - Jon Harrop
- brogoff
  - Jon Harrop
    - Jacques Garrigue
      - Jon Harrop
        
        Peng Zang
        
        brogoff
        
        Paolo Donadeo
    - brogoff

Date:	-- (:)
From:	Jon Harrop <jon@f...>
Subject:	Re: [Caml-list] "OCaml gives you only monomorphic methods in classes."

On Saturday 29 December 2007 04:31:02 Dylan William Hardison wrote:
> This seems correct for O'Caml (and SML?) but not Haskell.
> Haskell's type system is extended with type classes, which allow + and such
> to be overloaded...

Yes, that's what I said. :-)

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?e