parametric polymorphism

P p

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definitions of parametric polymorphism words

noun Technical meaning of parametric polymorphism Polymorphism was first identified by Christopher Strachey in 1967 and developed by Hindley and Milner. For example we could specify that the argument of the "head" function was a list without specifying a type for the elements of the list. In Haskell we would write: head :: [a] -> a meaning head has type function from "list of a" to "a" where "a" is a type variable). This is known as parametric polymorphism. Polymorphic typing allows strong type checking as well as generic functions. ML in 1976 was the first language with polymorphic typing. See also generic type variable. 1
noun parametric polymorphism (computer science) A way to make a computer language more expressive 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. 0

See all 2 definitions of parametric polymorphism

Information block about the term

Parts of speech for Parametric polymorphism

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Parametric polymorphism

See also

Matching words

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?