From: Brian Rogoff <bpr@shell5.ba.best.com>
Subject: Re: Mutually dependent private types
Date: 1998/05/22
Date: 1998-05-22T00:00:00+00:00 [thread overview]
Message-ID: <Pine.BSF.3.96.980522123340.17945B-100000@shell5.ba.best.com> (raw)
In-Reply-To: 6k4b7t$vhn$1@nnrp1.dejanews.com
On Fri, 22 May 1998 adam@irvine.com wrote:
> Matthew Heaney wrote:
>
> ... snip ...
>
> > I read John's paper, but I don't find his argument convincing. Doesn't the
> > following code solve the putative with'ing "problem"?
>
> I think John's objection to this solution is that it requires a
> runtime check to make sure the second parameter has the correct type.
Yes, if you're willing to lose static typing, I don't see that you have
any right to complain about access types or unchecked ops. I don't think
that I'd switch languages over this issue :-), but its definitely a flaw
in my eyes. I rather like the package parts approach mentioned in John's
paper, since there I've had other problems that they'd solve, but its
unlikely that such a drastic modification to Ada will take place. There
was some discussion of proposals a while ago, and this question comes up
very frequently on c.l.a. I hope this issue will be addressed in Ada 200X.
-- Brian
next prev parent reply other threads:[~1998-05-22 0:00 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-05-22 0:00 Mutually dependent private types adam
1998-05-22 0:00 ` Brian Rogoff [this message]
1998-05-22 0:00 ` Matthew Heaney
1998-05-22 0:00 ` John Volan
-- strict thread matches above, loose matches on Subject: below --
1998-05-21 0:00 adam
1998-05-21 0:00 ` John Volan
1998-05-21 0:00 ` Matthew Heaney
1998-05-22 0:00 ` John Volan
1998-05-22 0:00 ` Matthew Heaney
1998-05-26 0:00 ` John Volan
1998-05-26 0:00 ` Matthew Heaney
1998-05-27 0:00 ` John Volan
1998-05-27 0:00 ` Matthew Heaney
1998-05-28 0:00 ` John Volan
1998-05-28 0:00 ` Matthew Heaney
1998-05-29 0:00 ` John Volan
1998-05-29 0:00 ` Brian Rogoff
1998-05-29 0:00 ` John Volan
1998-05-29 0:00 ` Brian Rogoff
1998-05-29 0:00 ` John Volan
1998-05-30 0:00 ` Geoff Bull
1998-05-30 0:00 ` Fergus Henderson
1998-06-01 0:00 ` John Volan
1998-06-02 0:00 ` Fergus Henderson
1998-06-04 0:00 ` Robert Dewar
1998-05-26 0:00 ` Robert I. Eachus
1998-05-26 0:00 ` John Volan
1998-05-27 0:00 ` Robert I. Eachus
1998-05-29 0:00 ` John Volan
1998-05-27 0:00 ` Jerry van Dijk
1998-05-29 0:00 ` John Volan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox