From: Tucker Taft <stt@averstar.com>
Subject: Re: Generic abstracts
Date: 1999/11/30
Date: 1999-11-30T00:00:00+00:00 [thread overview]
Message-ID: <38444F24.F41BE126@averstar.com> (raw)
In-Reply-To: wccyabg53zo.fsf@world.std.com
Robert A Duff wrote:
>
> Tucker Taft <stt@averstar.com> writes:
>
> > However, at the moment only "overloadable" things (i.e. subprograms
> > and enumerals) are inheritable, and that has some nice properties.
>
> I don't see the connection between overloadable and inheritable.
By restricting inheritance to overloadable things, you don't get
collisions when you have two derived types in the same scope, since
overloadables won't hide each other unless they have identical
types, which can't happen when defining a new derived type.
>
> By the way, I have wanted to write overloaded generic functions in the
> past...
I can't help you with that today ;-).
>
> - Bob
--
-Tucker Taft stt@averstar.com http://www.averstar.com/~stt/
Technical Director, Distributed IT Solutions (www.averstar.com/tools)
AverStar (formerly Intermetrics, Inc.) Burlington, MA USA
next prev parent reply other threads:[~1999-11-30 0:00 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-11-25 0:00 Generic abstracts Lutz Donnerhacke
1999-11-25 0:00 ` Lutz Donnerhacke
1999-11-29 0:00 ` Tucker Taft
1999-11-29 0:00 ` Lutz Donnerhacke
1999-11-29 0:00 ` Tucker Taft
1999-11-30 0:00 ` Robert A Duff
1999-11-30 0:00 ` Tucker Taft [this message]
1999-11-30 0:00 ` Lutz Donnerhacke
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox