The type-parametric functions are inherently a feature of a static-typing system...so I guess "by definition" would be the answer. At least that's what the wi

The type-parametric functions are inherently a feature of a static-typing system...so I guess "by definition" would be the answer. At least that's what the wikipedia entry would lead me to believe. http://en.wikipedia.org/wiki/Generic_programming http://en.wikipedia.org/wiki/Generic_programming See also: http://en.wikipedia.org/wiki/Type_polymorphism#Parametric_polymorphism http://en.wikipedia.org/wiki/Type_polymorphism#Parametric_po...