From: Markus Mottl <mottl@miss.wu-wien.ac.at>
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)
In-Reply-To: <3715D924.F50D6586@ens.fr> from "Giuseppe Castagna" at Apr 15, 99 02:18:44 pm
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
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:22 MET