Generic programming is a widely appreciated and strongly affecting paradigm in software development. Genericity has become an integral part of most widely known and used programming languages. Some have just most recently been extended with generics, as is the case with Java 1.5. Some are known to have generics from the very beginning and even before they were extended to support object-oriented programming, as is the case with Ada. Genericity, templating, parameterized types, or parametric polymorphism refer to the same technique; basically, instantiating versions of an algorithm using...