Generic programming: Difference between revisions

Content deleted Content added
Turing completeness of Template metaprogramming in C++ is not an opinion, but a proven fact
Line 195:
* all instances of a generic being exactly the same, it is easier to review and understand programs written by others; there are no "special cases" to take into account.
* all instantiations being explicit, there are no hidden instantiations that might make it difficult to understand the program.
* Ada does not permit "templatearbitrary metaprogramming"computation at compile time, because itoperations on generic arguments doesare notperformed allowat specialisationsruntime.
 
====Templates in C++====