Ohjelmointikielissä ja tyyppiteoriassa parametrinen polymorfismi on tapa tehdä kielestä ilmaisuvoimaisempi, samalla kun se säilyttää täyden staattisen tyyppiturvallisuuden. Parametrisen polymorfismin avulla funktio tai tietotyyppi voidaan kirjoittaa geneerisesti niin, että se voi käsitellä arvoja identtisesti niiden tyypistä riippumatta.
Mikä seuraavista on oikein selittää parametrisen polymorfismin?
Parametrinen polymorfismi on ohjelmointikielen tekniikka, joka mahdollistaa funktioiden ja tyyppien yleisen määrittelyn ilman suurta huolta tyyppipohjaisista virheistä. Sen avulla kieli voi olla ilmaisuvoimaisempaa, kun kirjoitetaan yleistä koodia, joka koskee erityyppisiä tietoja.
Mitä parametrinen polymorfismi ja alatyyppipolymorfismi on?
Alatyyppipolymorfismi antaa yhdelle termille useita tyyppejä subsumtiosäännön avulla. … Parametrinen polymorfismi viittaa koodiin, joka on kirjoitettu tietämättä argumenttien todellista tyyppiä; koodi on parametrinen parametrien tyypissä. Esimerkkejä ovat polymorfiset funktiot ML:ssä tai geneeriset funktiot Java 5:ssä.
Mikä on parametrinen polymorfismi Java?
Parametrinen polymorfismi edellyttää, että luokkailmoituksessa kentän nimi voi liittyä eri tyyppeihin ja menetelmän nimi voi liittyä eri parametreihin ja palautustyyppeihin. Kenttä ja menetelmä voivatota sitten eri tyypit jokaisessa luokan ilmentymässä (objektissa).
Mitä on implisiittinen parametrinen polymorfismi?
Mitä on implisiittinen parametrinen polymorfismi? Eksplisiittinen parametrinen polymorfismi: geneeriset parametrit T. Ohjelmointikielestä Pragmatics "Parametrisessa polymorfismissa koodi ottaa tyypin (tai tyypin joukon) parametrina, joko eksplisiittisesti tai implisiittisesti."
