🔒 EXCLUSIVE: Profiles/ - HD Photos!

Полиморфизм в языках программирования и теории типов — способность функции обрабатывать данные разных типов.

Существует несколько разновидностей полиморфизма. Две принципиально различных из них были описаны Кристофером Стрэчи в 1967 году: это параметрический полиморфизм и ad-hoc-полиморфизм, причём первая является истинной формой, а вторая — мнимой; прочие формы являются их подвидами или сочетаниями. Параметрический полиморфизм подразумевает исполнение одного и того же кода для всех допустимых типов аргументов, тогда как ad-hoc-полиморфизм подразумевает исполнение потенциально разного кода для каждого типа или подтипа аргумента. Бьёрн Страуструп определил полиморфизм как «один интерфейс — много реализаций», но это определение покрывает лишь ad-hoc-полиморфизм.