Полиморфизам (рачунарство) — разлика између измена
Садржај обрисан Садржај додат
мНема описа измене |
Спашавам 0 извора и означавам 1 мртвим. #IABot (v2.0beta9) |
||
Ред 42:
''Параметарски полиморфизам'' почива на употреби тзв. типских променљивих. Типске променљиве се користе за симболичко означавање типова вредности, променљивих и израза. Сваки пут када се употреби код, који је написан уз употребу параметарског полиморфизма, симбилички типови (типске променљиве) се замењују конкретним типовима и програм се преводи у неполиморфном облику. Да би превођење било успешно, неопходно је да у свим деловима тог полиморфног кода замењивање симболичких типова конкретним типовима производи исправан програмски код. Ако то није случај, тј. ако је за конкретан тип изабран неки тип за који дати програмски код није исправан, онда ће преводилац пријавити грешку.
Одређивање конкретних типова се може изводити експлицитно, навођењем типа, или имплицитно, на основу правила превођења конкретног програмског језика.<ref name="Malkov">S.Malkov-''Odlomak iz knjige Razvoj softvera ''http://poincare.matf.bg.ac.rs/~smalkov/files/rs.r290.2015/public/Predavanja/Razvoj%20softvera.2014.06%20-%20Parametarski%20polimorfizam.pdf{{Мртва веза|date=10. 2018 |bot=InternetArchiveBot |fix-attempted=yes }}</ref>
Параметарски полиморфизам је свеприсутан у функционалном програмирању, где се често једноставно назива "полиморфизам". Следећи пример у [[Haskel (programski jezik)|Хаскелу]] показује параметризован тип листе података и две параметарски полиморфне функције тих података:
| |||