From: Ted Dennison <dennison@telepath.com>
Subject: Re: Self-referential types
Date: 1999/10/13
Date: 1999-10-13T00:00:00+00:00 [thread overview]
Message-ID: <7u25pu$p4k$1@nnrp1.deja.com> (raw)
In-Reply-To: 3803c8bc_2@news1.prserv.net
In article <3803c8bc_2@news1.prserv.net>,
"Matthew Heaney" <matthew_heaney@acm.org> wrote:
> In article <3803B5E3.F96A6DD4@mitre.org> , "Robert I. Eachus"
> <eachus@mitre.org> wrote:
>
> type Digital_Clock (...) is
> limited record
> Master_Obs : Master_Obs_Type (Digital_Clock'Access);
> Slave_Obs : Slave_Obs_Type (Digital_Clock'Access);
> Control : Control_Type (Digital_Clock'Access);
> end record;
Ok...What does this buy you over using non-anonomous access fields and
an initilization? And how does this constitute MI?
> Some guys use public taggedness everywhere with gay abandon. This is
> wrong. Don't use taggedness unless you need to, and if you do, then
> hide it in the private region if you can.
Hmm. Generally I do that so that someone who wants to extend a new type
that I haven't thought of doesn't have to put it in a child package. But
admittedly, I don't myself derive new types without putting them in
child packages. So perhaps I'm allowing too much freedom?
> I will be discussing this technique this Sunday (17 Oct 99) during my
> Design Patterns tutorial, at this year's SIGAda conference.
Hmmm. It would be nice to attend that. But I don't think I could sell
enough candy bars at work in the next couple of days to pay for the
trip. :-)
--
T.E.D.
Sent via Deja.com http://www.deja.com/
Before you buy.
next prev parent reply other threads:[~1999-10-13 0:00 UTC|newest]
Thread overview: 62+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <7ttb4a$8mq$1@nnrp1.deja.com>
[not found] ` <3802597B.9205AEE8@averstar.com>
1999-10-12 0:00 ` Self-referential types Ted Dennison
1999-10-12 0:00 ` Matthew Heaney
1999-10-13 0:00 ` Ted Dennison
1999-10-12 0:00 ` Robert A Duff
1999-10-12 0:00 ` Vladimir Olensky
1999-10-12 0:00 ` Matthew Heaney
1999-10-12 0:00 ` news.oxy.com
1999-10-12 0:00 ` Matthew Heaney
1999-10-12 0:00 ` Ted Dennison
1999-10-12 0:00 ` Stanley R. Allen
1999-10-13 0:00 ` Ted Dennison
1999-10-13 0:00 ` Vladimir Olensky
1999-10-14 0:00 ` Multiple Inheritance in Ada 95 [was Re: Self-referential types] Tucker Taft
1999-10-12 0:00 ` Self-referential types Richard D Riehle
1999-10-12 0:00 ` Robert I. Eachus
1999-10-12 0:00 ` Matthew Heaney
1999-10-13 0:00 ` Ted Dennison [this message]
1999-10-13 0:00 ` Matthew Heaney
1999-10-13 0:00 ` Vladimir Olensky
1999-10-13 0:00 ` Vladimir Olensky
1999-10-18 0:00 ` Robert Dewar
1999-10-18 0:00 ` Vladimir Olensky
1999-10-18 0:00 ` Laurent Guerby
1999-10-13 0:00 ` Robert I. Eachus
1999-10-13 0:00 ` Brian Rogoff
1999-10-15 0:00 ` Robert I. Eachus
1999-10-15 0:00 ` Marin David Condic
1999-10-15 0:00 ` Robert I. Eachus
1999-10-18 0:00 ` Robert Dewar
1999-10-19 0:00 ` Robert I. Eachus
1999-10-18 0:00 ` Robert Dewar
1999-10-18 0:00 ` Brian Rogoff
1999-10-18 0:00 ` Ed Falis
1999-10-19 0:00 ` Robert Dewar
[not found] ` <7u86su$o5v$1@nntp8.atl.mindspring.net>
1999-10-18 0:00 ` Robert I. Eachus
1999-10-22 0:00 ` Richard D Riehle
1999-10-22 0:00 ` Robert I. Eachus
[not found] ` <slrn80fl9f.68j.aidan@skinner.demon.co.uk>
1999-10-19 0:00 ` Wes Groleau
1999-10-21 0:00 ` Robert Dewar
1999-10-21 0:00 ` Larry Kilgallen
1999-10-21 0:00 ` Comments (was: Self-referential types) Wes Groleau
1999-10-21 0:00 ` Ehud Lamm
1999-10-22 0:00 ` Ted Dennison
1999-10-23 0:00 ` Ehud Lamm
1999-10-23 0:00 ` Robert Dewar
1999-10-23 0:00 ` Ehud Lamm
1999-10-23 0:00 ` Comments Georg Bauhaus
1999-10-24 0:00 ` Comments Ehud Lamm
1999-10-26 0:00 ` Comments Robert I. Eachus
1999-10-28 0:00 ` Comments Jerry van Dijk
1999-10-28 0:00 ` Comments Ted Dennison
1999-10-25 0:00 ` Comments (was: Self-referential types) Wes Groleau
1999-10-23 0:00 ` M.
[not found] ` <Pine.A41.3.96-heb-2.07.991021191504.30582K-100000@pluto.mscc.huji. <381477c9.e1388ff3@ftw.rsc.raytheon.com>
1999-10-25 0:00 ` Larry Kilgallen
1999-10-21 0:00 ` Self-referential types Jean-Pierre Rosen
1999-10-21 0:00 ` Robert Dewar
1999-10-22 0:00 ` Richard D Riehle
1999-10-23 0:00 ` Robert A Duff
1999-10-23 0:00 ` Richard D Riehle
1999-10-24 0:00 ` Michel DELARCHE
1999-10-12 0:00 ` Ted Dennison
1999-10-12 0:00 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox