From: jamess1889@aol.com (JamesS1889)
Subject: Re: "use" clauses and Ada 95 OOP
Date: 1996/07/25
Date: 1996-07-25T00:00:00+00:00 [thread overview]
Message-ID: <4t7vet$ot8@newsbf02.news.aol.com> (raw)
In-Reply-To: dewar.838132930@schonberg
In article <dewar.838132930@schonberg>, dewar@cs.nyu.edu (Robert Dewar)
writes:
>People who have learned to be 100% allergic to USE in Ada 83 will find
>some discomfort here, but that's something they bring upon themselves.
>The idea behind disallowing USE clauses is that it is a GOOD THING if
>it is made VERY clear at the source level EXACTLY where the subprogram
>being called is defined. BUT! the whole idea of dynamic dispatching
>is to make absolutely sure that you can NOT tell at the source level
>where the subprogram being called is declared.
>
>There is no clash between dynamic dispatching and the design of Ada,
there
>is a clash between dynamic dispatching and an insistence on never using
>the USE clause, and that is really what Mitch is pointing out.
Not to mention that without the USE clause, the visibility you get is
misleading. Yep, Robert, I do believe you "have it surrounded".
Just out of curiosity, though. Somebody said that WG9 considered making
all operators obsolete (addressing a slightly different issue). I was
wondering if WG9 considered do what I misunderstood Robert Eachus to be
implying, namely, make "use type" apply also to primitive subprograms of a
tagged type?
James Squire
mailto:ja_squire@csehp3.mdc.com
MDA Avionics Tools & Processes
McDonnell Douglas Aerospace http://www.mdc.com
Opinions expressed here are my own and NOT my company's
"Only one Earth Captain has ever survived battle with a Minbari fleet. He
is behind me.
You are in front of me. If you value your lives, be somewhere else!"
-- Delenn, "Severed Dreams"
next prev parent reply other threads:[~1996-07-25 0:00 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-07-17 0:00 "use" clauses and Ada 95 OOP Mitch Gart
1996-07-19 0:00 ` Robert I. Eachus
1996-07-23 0:00 ` JamesS1889
1996-07-23 0:00 ` Robert Dewar
1996-07-24 0:00 ` Robert I. Eachus
1996-07-23 0:00 ` Robert I. Eachus
1996-07-25 0:00 ` JamesS1889
1996-07-24 0:00 ` Jon S Anthony
1996-07-19 0:00 ` Jon S Anthony
1996-07-19 0:00 ` James A. Squire
1996-07-22 0:00 ` Stephen Schmid
1996-07-23 0:00 ` Laurent Guerby
1996-07-23 0:00 ` Robert A Duff
1996-07-23 0:00 ` JamesS1889
1996-07-23 0:00 ` Mitch Gart
1996-07-23 0:00 ` Kevin J. Weise
1996-07-23 0:00 ` JamesS1889
1996-07-23 0:00 ` Kevin J. Weise
1996-07-23 0:00 ` Robert A Duff
1996-07-23 0:00 ` Robert Dewar
1996-07-25 0:00 ` JamesS1889 [this message]
1996-07-26 0:00 ` Robert A Duff
1996-07-23 0:00 ` JamesS1889
1996-07-24 0:00 ` Jon S Anthony
1996-07-24 0:00 ` Jon S Anthony
1996-07-20 0:00 ` James A. Squire
1996-07-21 0:00 ` Robert A Duff
1996-07-22 0:00 ` Jon S Anthony
1996-07-23 0:00 ` Jon S Anthony
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox