Re: If not Ada, what else...

[Simon Wright <simon@pushface.org>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> The object's private part should not appear in the package's public
> part.  It is a privacy breach.

To the eye, yes, but not to using software. If I can look at the overall
spec, I can see the private part anyway.

More to the point, devolving the private part of a protected type to the
private part of the enclosing package spec would resolve a lot of
declaration ordering problems; types that could otherwise go in the
private part of the package have to be in the public part.

That's somewhat related to the need for the Implementation package in
the Synchronized_Queues. There'd have been no need if we could have said
something like

   protected type Queue ... is
     new Queue_Interfaces.Queue with
      ...
   end Queue with private;

(rather a lot of 'with's there!)