I programmeringsspråk og typeteori er parametrisk polymorfisme en måte å gjøre et språk mer uttrykksfullt på, samtidig som den opprettholder full statisk typesikkerhet. Ved å bruke parametrisk polymorfisme kan en funksjon eller en datatype skrives generisk slik at den kan håndtere verdier identisk uten å være avhengig av deres type.
Hvilket av følgende er riktig forklarer parametrisk polymorfisme?
Parametrisk polymorfisme er en programmeringsspråkteknikk som muliggjør generisk definisjon av funksjoner og typer, uten stor bekymring for typebaserte feil. Det lar språket være mer uttrykksfullt mens du skriver generisk kode som gjelder for ulike typer data.
Hva er parametrisk polymorfisme og subtype polymorfisme?
Subtype polymorfisme gir et enkelt begrep mange typer ved bruk av subsumsjonsregelen. … Parametrisk polymorfisme refererer til kode som er skrevet uten kunnskap om den faktiske typen argumenter; koden er parametrisk i typen av parametere. Eksempler inkluderer polymorfe funksjoner i ML, eller generiske funksjoner i Java 5.
Hva er parametrisk polymorfisme Java?
Parametrisk polymorfisme angir at innenfor en klasseerklæring, kan et feltnavn assosieres med forskjellige typer og et metodenavn kan assosieres med forskjellige parameter- og returtyper. Feltet og metoden kanderetter ta på seg forskjellige typer i hver klasseforekomst (objekt).
Hva er implisitt parametrisk polymorfisme?
Hva er implisitt parametrisk polymorfisme? Eksplisitt parametrisk polymorfisme: generiske parametere T. Fra programmeringsspråkpragmatikk "I parametrisk polymorfisme tar koden en type (eller sett med typer) som en parameter, enten eksplisitt eller implisitt."