parametric polymorphism

English

Noun

parametric polymorphism (usually uncountable, plural parametric polymorphisms)

1. (programming) A way to make a computer language more expressive, while maintaining full static type safety, by allowing a function or a data type to be written generically so that it can handle values identically without depending on their type.

See also

• generic programming
• Hindley-Milner type system