Re: Ada202X: Easy to use "UML private"-like components

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

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:k32sqc8hss4r$.14d3n8qneksz7$.dlg@40tude.net...
...
> Maybe they could be augmented in order to deal with more complex kinds of
> parametrization, e.g. for container types (sequence of Integer indexed by
> String). But again, please, without opening up the bodies.
>
> You don't need the body unless you "expand".

You don't need the body even if you *do* "expand" (as Ada does). The Ada 
contract model is strict enough that universal code sharing works (and the 
contract model could be stronger still). I always thought it made more sense 
to code share first and then use inlining to eliminate the overhead later, 
because it's almost impossible to share code after generating it separately. 
(We never built the inlining part of the compiler, though, so we never quite 
proved that.)

                                        Randy.