I programmeringsspråk och typteori är parametrisk polymorfism ett sätt att göra ett språk mer uttrycksfullt, samtidigt som det bibehåller full statisk typsäkerhet. Med hjälp av parametrisk polymorfism kan en funktion eller en datatyp skrivas generiskt så att den kan hantera värden identiskt utan att vara beroende av deras typ.
Vilket av följande är korrekt förklarar parametrisk polymorfism?
Parametrisk polymorfism är en programmeringsspråksteknik som möjliggör den allmänna definitionen av funktioner och typer, utan en stor oro för typbaserade fel. Det gör att språket blir mer uttrycksfullt samtidigt som man skriver generisk kod som gäller olika typer av data.
Vad är parametrisk polymorfism och subtyp polymorfism?
Subtyppolymorfism ger en enskild term många typer som använder subsumtionsregeln. … Parametrisk polymorfism hänvisar till kod som är skriven utan kunskap om den faktiska typen av argument; koden är parametrisk i typen av parametrar. Exempel inkluderar polymorfa funktioner i ML eller generika i Java 5.
Vad är parametrisk polymorfism Java?
Parametrisk polymorfism stipulerar att inom en klassdeklaration kan ett fältnamn associeras med olika typer och ett metodnamn kan associeras med olika parameter- och returtyper. Fältet och metoden kanta sedan på sig olika typer i varje klassinstans (objekt).
Vad är implicit parametrisk polymorfism?
Vad är implicit parametrisk polymorfism? Explicit parametrisk polymorfism: generiska parametrar T. Från Programming Language Pragmatics "I parametrisk polymorfism tar koden en typ (eller uppsättning typer) som en parameter, antingen explicit eller implicit."
