comp.lang.ada
 help / color / mirror / Atom feed
From: kilgallen@eisner.decus.org (Larry Kilgallen)
Subject: Re: preventing inheritance
Date: 1996/12/17
Date: 1996-12-17T00:00:00+00:00	[thread overview]
Message-ID: <1996Dec17.080010.1@eisner> (raw)
In-Reply-To: 32B64298.3CC5@bix.com


In article <32B64298.3CC5@bix.com>, Tom Moran <tmoran@bix.com> writes:
> The real problem is that U really 'is a' T, it's just that MS does not
> give a way to implement a particular operation on objects of type U.
> It is not satisfying to simply say 'well, I guess U's aren't T's after
> all'.

Inheritance capabilities in a language provide compiler enforcement
of an orderly set of relationships.  We tend to value them because
they detect cases where the set of relationships we had in mind is
not orderly.  Unfortunately they also detect cases where the lack
of orderliness originated outside our sphere of influence.

Larry Kilgallen




  reply	other threads:[~1996-12-17  0:00 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-12-13  0:00 preventing inheritance Tom Moran
1996-12-16  0:00 ` Norman H. Cohen
1996-12-16  0:00   ` Tom Moran
1996-12-16  0:00     ` Tom Moran
1996-12-17  0:00       ` Larry Kilgallen [this message]
1996-12-18  0:00       ` Norman H. Cohen
1996-12-18  0:00         ` Tom Moran
1996-12-19  0:00     ` Robert I. Eachus
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox