出典:Wiktionary
出典:『Wiktionary』 (2026/04/05 03:15 UTC 版)
Coined by British computer scientist Christopher Strachey in 1967.
parametric polymorphism (usually uncountable, plural parametric polymorphisms)
出典:Wikipedia
出典:『Wikipedia』 (2011/06/13 12:25 UTC 版)
In programming languages and type theory, parametric polymorphism is a way to make a language more expressive, while still maintaining full static type-safety. Using parametric polymorphism, a function or a data type can be written generically so that it can handle values identically without depending on their type. Such functions and data types are called generic functions and generic datatypes respectively and form the basis of generic programming.