EGAVE

parametric polymorphism

About 0.01 uses per million words.

Meaning

  1. noun 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.

Similar words

polymorphism subtype polymorphism generic programming ad-hoc polymorphism manifest typing type class overloading inclusion polymorphism parameterization monomorphisation

Save “parametric polymorphism” to learn later