From types to types

Most mainstream statically typed programming languages (Java, C++, Ada) let the programmer parameterize data structures and algorithms by types. The general term for this mechanism is parametric polymorphism, which is called “generics” in Java and “templates” in C++. Parametric polymorphism allows the same piece of code to be used with different type instantiations.  
Vincent Cremet, Philippe Altherr, ”Adding Type Constructor Parameterization to Java”, in Journal of Object Technology, vol. 7, no. 5, Special Issue: Workshop on FTfJP 07, June 2008, pp. 25-65.

Read it here, via Lambda
Newer Post Older Post Home