Optimization of meta-template instantiations

A method comprising:

• determining that a template in a source code is a meta-template and a template in the source code is in a form other than the meta-template;
• creating a set of entries in a first data structure of an alternate type system for the meta-template, wherein each entry of the set of entries corresponds to a separate recursive instantiation, and wherein the alternate type system includes a graph having a node for each separate recursive instantiation;
• and
• conducting an evaluation of the set of entries in the first data structure of the alternate type system to generate a single entry in a second data structure of a regular type system that is utilized to resolve a problem, wherein the single entry corresponds to a result of the evaluation, and wherein the second data structure of the regular type system includes an entry for the template in the form other than the meta-template.

An apparatus comprising a processor to implement one or more of:

• a template analyzer to determine that a template in a source code is a meta-template and a template in the source code is in a form other than the meta-template;
• and
• a template mapper to:
• create a set of entries in a first data structure of an alternate type system for the meta-template, wherein each entry of the set of entries is to correspond to a separate recursive instantiation, and wherein the alternate type system is to include a graph having a node for each separate recursive instantiation;
• and
• conduct an evaluation of the set of entries in the first data structure of the alternate type system to generate a single entry in a second data structure of a regular type system that is to be utilized to resolve a problem, wherein the single entry is to correspond to a result of the evaluation, and wherein the second data structure of the regular type system is to include an entry for the template in the form other than the meta-template.