From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA02097 for caml-redistribution; Thu, 15 Apr 1999 17:48:27 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA05056 for ; Thu, 15 Apr 1999 17:02:42 +0200 (MET DST) Received: from miss.wu-wien.ac.at (miss.wu-wien.ac.at [137.208.107.17]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id RAA12269 for ; Thu, 15 Apr 1999 17:02:39 +0200 (MET DST) Received: (from mottl@localhost) by miss.wu-wien.ac.at (8.9.0/8.9.0) id RAA16112; Thu, 15 Apr 1999 17:02:33 +0200 (MET DST) From: Markus Mottl Message-Id: <199904151502.RAA16112@miss.wu-wien.ac.at> Subject: Re: subtyping and inheritance To: Giuseppe.Castagna@ens.fr (Giuseppe Castagna) Date: Thu, 15 Apr 1999 17:02:32 +0100 (MET DST) Cc: caml-list@inria.fr (OCAML) In-Reply-To: <3715D924.F50D6586@ens.fr> from "Giuseppe Castagna" at Apr 15, 99 02:18:44 pm X-Mailer: ELM [version 2.4 PL21] MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Sender: weis Hello, thanks for your information! I have now read your paper on "parasitic methods" (I like this term!) and found it indeed very interesting. It seems it would be a fine means of solving the problem which was the starting point of the earlier thread ((covariant) specialization of comparison methods) - not to speak of the many other possible advantages. I wonder what the OO-implementors of OCAML think about it - and generally, whether there are already any intended "surprises" (I mean: nice ones ;-) for us in one of the next OCAML-releases... Best regards, Markus Mottl -- Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl