Archives of the Caml mailing list > Message from skaller

Browse thread

Fwd: "ocaml_beginners"::[] Trouble combining polymorphic classes and polymorphic methods

Geoffrey Romer
- Jacques Garrigue
  - Lukasz Stafiniak
    - Jacques Garrigue
      - skaller
        
        Daniel_Bünzli
        
        Jacques Garrigue
        
        skaller
        
        Daniel_Bünzli

Date:	-- (:)
From:	skaller <skaller@u...>
Subject:	Re: [Caml-list] Fwd: "ocaml_beginners"::[] Trouble combining polymorphic classes and polymorphic methods

On Wed, 2007-02-28 at 13:01 +0900, Jacques Garrigue wrote:
> From: Daniel BÃ¼nzli <daniel.buenzli@epfl.ch>
[]
> The theoretical problem with structural types is more about very bad
> luck: you may be using two libraries, which seem to be using the same
> type (same constructor or method names), but actually have different
> semantics.

This is possible with nominal typing too, it just requires
even 'badder' luck .. we probably all know the famous OO
example of a 'drawable' abstraction with instance 'gun' :)


-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net