| slovo | definícia |
parametric polymorphism
(foldoc) | 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.
(2014-01-05)
|
| |
Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.
na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.
online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4