From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Generic package parameters not externally visible : what's the rational ?
Date: Thu, 29 Oct 2009 03:34:35 -0400
Date: 2009-10-29T03:34:35-04:00 [thread overview]
Message-ID: <ufx928xh0.fsf@stephe-leake.org> (raw)
In-Reply-To: hca52n$kom$1@munin.nbi.dk
"Randy Brukardt" <randy@rrsoftware.com> writes:
> "Hibou57 (Yannick Duch�ne)" <yannick_duchene@yahoo.fr> wrote in message
> news:b6d32b60-333f-495d-b17a-7ab589690bbb@d10g2000yqh.googlegroups.com...
>
> ...
>>But right a few minutes ago, I was thinking that is may be finally
>>better to be able to hide something there. Perhaps peoples who were
>>talking about protecting type privacy, were thinking about a formal
>>parameter used in the private part of the package only. When it is
>>(this may not always be so much strange as it seems, to give formals
>>parameters which are only used in private part), it is better to not
>>make these visible from the outside. Providing this is a good answer,
>>then the actual is so just the best, because it allow to show or hide
>>at the discretion of the author (the language does not impose anything
>>there, except it hides by default, and that's finally a good fact).
>
> By jove, I think he's got it! :-)
>
> The above reasoning makes sense, and it actually seems to reflect the
> supposed rationale. It would be nice if a fuller example of this was
> included somewhere. (I'd put it into the AARM if I had any idea of where it
> should go.)
And we should add optional "private" keywords on all the formal
parameters, as we now have "private with" for context clauses.
Then non-private formal generic parameters could be visible, and
private ones not.
--
-- Stephe
next prev parent reply other threads:[~2009-10-29 7:34 UTC|newest]
Thread overview: 50+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-10-26 8:58 Generic package parameters not externally visible : what's the rational ? Hibou57 (Yannick Duchêne)
2009-10-26 11:05 ` Ludovic Brenta
2009-10-26 15:02 ` Robert A Duff
2009-10-27 1:06 ` Hibou57 (Yannick Duchêne)
2009-10-26 14:56 ` Robert A Duff
2009-10-27 3:03 ` Hibou57 (Yannick Duchêne)
2009-10-27 21:08 ` Randy Brukardt
2009-10-27 21:36 ` Jeffrey R. Carter
2009-10-27 22:03 ` Hibou57 (Yannick Duchêne)
2009-10-27 22:19 ` Jeffrey R. Carter
2009-10-28 19:07 ` Randy Brukardt
2009-10-29 12:18 ` Hibou57 (Yannick Duchêne)
2009-10-29 22:56 ` Randy Brukardt
2009-10-30 0:10 ` Hibou57 (Yannick Duchêne)
2009-10-27 22:04 ` Hibou57 (Yannick Duchêne)
2009-10-27 23:37 ` Robert A Duff
2009-10-27 23:41 ` Jeffrey R. Carter
2009-10-27 23:34 ` Robert A Duff
2009-10-28 2:19 ` Hibou57 (Yannick Duchêne)
2009-10-28 19:12 ` Randy Brukardt
2009-10-29 7:34 ` Stephen Leake [this message]
2009-10-29 12:21 ` Hibou57 (Yannick Duchêne)
2009-10-29 13:10 ` AdaMagica
2009-10-29 15:11 ` Georg Bauhaus
2009-10-29 19:28 ` Jeffrey R. Carter
2009-10-29 20:27 ` Georg Bauhaus
2009-10-30 10:30 ` Stephen Leake
2009-10-30 17:53 ` Ludovic Brenta
2009-10-31 2:10 ` Hibou57 (Yannick Duchêne)
2009-10-30 5:19 ` Hibou57 (Yannick Duchêne)
2009-10-28 9:09 ` Dmitry A. Kazakov
2009-10-28 19:19 ` Randy Brukardt
2009-10-29 8:36 ` Dmitry A. Kazakov
2009-10-29 23:03 ` Randy Brukardt
2009-10-30 8:51 ` Dmitry A. Kazakov
2009-10-30 10:25 ` Stephen Leake
2009-10-30 19:32 ` Dmitry A. Kazakov
2009-10-31 2:06 ` Hibou57 (Yannick Duchêne)
2009-10-31 9:14 ` Dmitry A. Kazakov
2009-11-03 8:25 ` Hibou57 (Yannick Duchêne)
2009-11-03 9:59 ` Dmitry A. Kazakov
2009-11-05 10:38 ` Hibou57 (Yannick Duchêne)
2009-11-05 11:00 ` Dmitry A. Kazakov
2009-11-05 12:16 ` Hibou57 (Yannick Duchêne)
2009-11-05 14:09 ` Dmitry A. Kazakov
2009-11-06 12:19 ` Hibou57 (Yannick Duchêne)
2009-11-06 13:27 ` Dmitry A. Kazakov
2009-10-31 2:08 ` Hibou57 (Yannick Duchêne)
2009-10-31 12:44 ` Stephen Leake
2009-11-01 11:37 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox