Email list hosting service & mailing list manager

Why Single Inheritance Restriction? Ken Dickey (13 Sep 2005 20:27 UTC)
Re: Why Single Inheritance Restriction? Richard Kelsey (18 Sep 2005 14:08 UTC)
Re: Why Single Inheritance Restriction? Michael Sperber (20 Sep 2005 10:21 UTC)
Re: Why Single Inheritance Restriction? Richard Kelsey (20 Sep 2005 14:29 UTC)
Re: Why Single Inheritance Restriction? Michael Sperber (20 Sep 2005 15:15 UTC)
Re: Why Single Inheritance Restriction? Richard Kelsey (20 Sep 2005 15:27 UTC)
Re: Why Single Inheritance Restriction? Michael Sperber (20 Sep 2005 15:53 UTC)
Re: Why Single Inheritance Restriction? Andre van Tonder (20 Sep 2005 16:24 UTC)

Re: Why Single Inheritance Restriction? Richard Kelsey 20 Sep 2005 14:29 UTC

   From: Michael Sperber <xxxxxx@informatik.uni-tuebingen.de>
   Date: Tue, 20 Sep 2005 12:21:39 +0200

   Multiple inheritance sure would enhance the functionality, but I guess
   we thought that the added usefuless was too small to justify the
   significant complications in semantics and implementation.

It's usefulness is small unless you want multiple inheritance,
in which case it is required.  Given all of the bells and whistles,
my assumption is that the authors want this to be the be all and
end all of record proposals.  Leaving out multiple inheritance
means that someone else is going to write a record SRFI that
provides it.

   I have trouble following your rationale---if you haven't found
   multiple inheritance useful, why is adding it better than leaving it
   out if single inheritance stays in?

Because 'no inheritance' and 'multiple inheritance' are the
two ends of the spectrum.  'Single inheritance only' is in
the middle.  You need two rationales, one why inheritance is
needed and the other why single inheritance is enough.

   Also, could you elaborate what
   you mean by "as far as the predicates are concerned"?

It's clear how multiple inheritance works with the predicates.
How it works with the initializers isn't so obvious.  For that
matter, I am not sure how the initializers work for single
inheritance.  Are the supertype initializers called?  In some
particular order?  What are the semantics of a partially
initialized record?  This is a problem for Java programs; it
would be nice to avoid it in Scheme.
                                           -Richard