Дайте теоретическое определение полиморфизма в контексте языков программирования. Опишите и сравните следующие виды полиморфизма: Ad-hoc полиморфизм (перегрузка), параметрический полиморфизм (дженерики/обобщения) и полиморфизм подтипов (наследование). Приведите теоретические примеры для каждого вида.