Re: Signature Package With Generic Proceedure

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

"Keean Schupke" <keean.schupke@googlemail.com> wrote in message 
news:79925d0c-b2dd-44a3-9451-48f0ee19485f@googlegroups.com...
...
> This is datatype generic programming, one of the things I thought Ada is 
> good at.
> Signatures are the only way in Ada of doing this with no runtime cost, and 
> the only
> way using generics. Signatures belong to a family of constructs across 
> several languages
> with similar properties. For example:

One more caution: you can't instantiate an Ada generic with a private type, 
unless the formal type is incomplete and there are no objects for the formal 
type.

There are people that want to use signatures in Ada, but it doesn't work 
very well in Ada 2005 and before if you want good encapulation. And it only 
works well in Ada 2012 if you can use a formal incomplete type (usually you 
can if the actual package is empty, which is usually want you want for a 
signature package).

                                          Randy.