Re: Ada generics

[Markus E Leypold <development-2006-8ecbb5cc8aREMOVETHIS@ANDTHATm-e-leypold.de>]

Markus E Leypold <development-2006-8ecbb5cc8aREMOVETHIS@ANDTHATm-e-leypold.de> writes:

>> Nonsense. C++'s approach to identifying instantiations serves it
>> excellently well in a variety of ways - traits classes,
>> metaprogramming, optimized specializations, and best of all, automatic
>> instantiation of function templates. 
>
> You only have to do all that if you "instantiate" templates in header
> files. If on the other side you have a separation into bodies and
> interfaces there is a place where the package gets instantiated
> (basically a place where the open parameters describing the data sizes
> and stackframe layout are recorded). And that simply is the package
> instance -- no need to generate code and no need to fold multiple
> instantiation with the same parameters into one.
>
> In Ada -- as I understand it -- an instantiation is simply identified
> by the place where the

... package is instantiated.

>
> This approach is of cause not possible with header files (inclusion
> vs. usage).
>


Regards -- Markus