Re: subtyping and inheritance

From: Markus Mottl (
Date: Thu Apr 15 1999 - 18:02:32 MET DST

From: Markus Mottl <>
Message-Id: <>
Subject: Re: subtyping and inheritance
To: (Giuseppe Castagna)
Date: Thu, 15 Apr 1999 17:02:32 +0100 (MET DST)
In-Reply-To: <> from "Giuseppe Castagna" at Apr 15, 99 02:18:44 pm


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,,

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:22 MET