From: "Vladimir Olensky" <vladimir_olensky@yahoo.com>
Subject: Re: Self-referential types
Date: 1999/10/13
Date: 1999-10-13T00:00:00+00:00 [thread overview]
Message-ID: <s0771t7ubhk12@corp.supernews.com> (raw)
In-Reply-To: 7tvq5g$28u$1@nnrp1.deja.com
Ted Dennison wrote in message <7tvq5g$28u$1@nnrp1.deja.com>...
>In article <s06ji18vh1s47@corp.supernews.com>,
> "news.oxy.com" <Vladimir_Olensky@oxy.com> wrote:
>>
>> Matthew Heaney wrote in message <3802f2db_2@news1.prserv.net>...
>> >This is the basis for programming with access discriminants, which is
>> >how you do MI in Ada95.
>> You might put a short article regarding this issue to Adapower.
>> I am sure it will be very useful.
>
>I'd like to heartily second that one. I tried every resource I could
>find to figure this out before I resorted to c.l.a. The example in
>Cohen's book is wrong, and he doesn't address its use in MI at all. The
>rationale just talks about it but doesn't put up any examples. I
>couldn't even find anything in the LRM that said this was legal after
>over an hour of searching. It'd be a shame if the only real
>documentation of this technique was word of mouth.
I think that the first part of it could explain why in Ada there is no SELF
or THIS parameter ( which object instance can use to obtain reference
to itself in other languages) and their equivalent constructs in Ada
(and also what is similar and what is different in Ada and other
languages regarding that issue).
When this clear than other part may discuss more advanced
topics such as MI implementation.
Doing it this way may help people experienced in other languages
or people beginning to learn Ada to grasp the idea without any
additional strain.
Comparison always help in introducing things that are not very familiar
to others.
Also if that is easy to understand then there would be less causes for
some people to tell that Ada is too complicated/complex language
that only military could like.
Regards,
Vladimir Olensky.
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 ` Vladimir Olensky
1999-10-12 0:00 ` Matthew Heaney
1999-10-12 0:00 ` Ted Dennison
1999-10-12 0:00 ` Matthew Heaney
1999-10-12 0:00 ` Robert I. Eachus
1999-10-12 0:00 ` Matthew Heaney
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
[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
1999-10-18 0:00 ` Robert Dewar
1999-10-18 0:00 ` Ed Falis
1999-10-19 0:00 ` Robert Dewar
1999-10-18 0:00 ` Brian Rogoff
[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 ` 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 Larry Kilgallen
1999-10-21 0:00 ` 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-13 0:00 ` Ted Dennison
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-12 0:00 ` news.oxy.com
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 [this message]
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 Matthew Heaney
1999-10-12 0:00 ` Richard D Riehle
1999-10-12 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox