Съдържание:
- Определение - Какво означава параметричен полиморфизъм?
- Техопедия обяснява параметричния полиморфизъм
Определение - Какво означава параметричен полиморфизъм?
Параметричният полиморфизъм е техника на езика за програмиране, която позволява общото дефиниране на функциите и типовете, без голяма грижа за грешки, базирани на типа. Тя позволява на езика да бъде по-изразителен, докато пишете генеричен код, който се прилага за различни видове данни. Функциите, написани в контекст с параметричен полиморфизъм, работят върху различни типове данни.
Техопедия обяснява параметричния полиморфизъм
Параметричният полиморфизъм е основният принцип, който стои зад общите програмни езици и структури. Тя дава възможност за създаване на общи функции и типове данни, които работят върху стойности, независимо от типа на данните.
Например, ако дадена функция за програмиране работи на две различни стойности, стойностите могат да бъдат прикачени, въпреки че нямат едни и същи типове данни. Пример е присъединяването към списък на цели числа със стойност на плаваща запетая.
Ada, Haskell, Visual Prolog, Scala, Java и C # са езици за програмиране, които поддържат параметричен полиморфизъм.
