bn:02750491n
Noun Concept
Categories: Generic programming, Type theory, Polymorphism (computer science)
EN
parametric polymorphism  Bounded parametric polymorphism  first-class polymorphism  First class polymorphism  Higher-rank type
EN
In programming languages and type theory, parametric polymorphism allows a single piece of code to be given a "generic" type, using variables in place of actual types, and then instantiated with particular types as needed. Wikipedia
Definitions
Relations
Sources
EN
In programming languages and type theory, parametric polymorphism allows a single piece of code to be given a "generic" type, using variables in place of actual types, and then instantiated with particular types as needed. Wikipedia
A feature of some type systems in computer programming Wikipedia Disambiguation
Abstracts types, so that multiple can be used with a single implementation Wikipedia Disambiguation
The basis of generic programming Wikidata
A way to make a computer language more expressive, while maintaining full static type safety, by allowing that a function or a data type can be written generically so that it can handle values identically without depending on their type. Wiktionary