What is instantiation in Ada?
David_Botton
David@Botton.com

The term "instatiation" in Ada does not mean "create an instance (object)of a type," as it does it other languages.  (We just say, "create an instance of the type.")
<p>
The term "instantiation" in Ada refers to the act of "reifying" a generic package, ie
<p>
<pre>
  with Stacks;
  package Integer_Stacks is new Stacks (Integer);
</pre>
<p>You "instantiate" the generic package Stacks on Integer, thus creating a(non-generic) package, Integer_Stacks, that provides types and operations you can actually use.
<p>
(Matthew Heaney)