Re: generic question

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:okqggs99v1j5$.p2upxltb2tgs$.dlg@40tude.net...
> On Wed, 22 Nov 2006 17:58:24 -0600, Randy Brukardt wrote:
...
> > And, yes, I was against the expansion of the uses of anonymous
> > access types in Ada 2007. I lost that discussion primarily because I
didn't
> > have a reasonable alternative for the second bullet above.
>
> Was it so important to compensate for all disadvantages access types bring
> with?

I guess so. The second bullet is about cases where an access type needed to
be exported anyway; there's no expansion in use implied. Limited with
doesn't allow exporting an access type (and we tried a number of ways to
allow that, but they didn't work without causing implementation and use
problems -- for instance, it wasn't possible to determine the appropriate
storage pool). One could argue that programmers shouldn't be exporting
access types in the first place, but that would not reflect the way many
programmers use Ada. And efforts to force people to do the right thing tend
to be doomed - better to avoid hamstringing people (which might cause them
to change to a less well-designed language).

                          Randy.