Re: Protected types and visibility of their internals

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

"Adam Beneschan" <adam@irvine.com> wrote in message 
news:efab0add-0f40-4302-8057-85bee50639d6@34g2000hsf.googlegroups.com...
...
> It does seem like there
> ought to be a better way to accomplish all this---how about letting
> private and public parts of a package spec be interspersed?
>
> package P is
> private
>    type Some_Type is ...
> not private  -- heh, heh, heh!
>    protected type PT is
>       procedure Foo;
>    private
>       X : Some_Type;
>    end PT;
> private
>    .. other private stuff can go here if needed
> end P;
>
> But any solution is likely to be a huge burden on both the language
> designers and implementors, at this point.  I think we're stuck.

Tucker has seriously proposed such an idea (see AI05-0074-2), but he's never 
written up the real details so it is impossible to say what pitfalls there 
are in the idea.

                                    Randy.