Version française
Home     About     Download     Resources     Contact us    
Browse thread
Fwd: "ocaml_beginners"::[] Trouble combining polymorphic classes and polymorphic methods
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
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