Полиморфизм и его виды

Закрываю тему ООП самым сложным принципом. Если с абстракцией, инкапсуляцией и наследованием все относительно просто, то в силу развития самого ООП, о чем поведал в предыдущей заметке, есть подводные камни, как минимум из-за того, что он имеет несколько типов, о чем чуть дальше. Кроме того, на собеседованиях часто называют ошибочно ООП-полиморфизмом всего лишь один вид полиморфизма. Начать разбирать вопрос стоит с общего определения полиморфизма и мне нравится трактовка Сергея Немчинского:

Коротко и ясно. А теперь подробнее о более глубокой стороне вопроса и непосредственно видах полиморфизма.

1. Ad-hoc-полиморфизм

Ad-hoc-полиморфизм - вид полиморфизма при котором в зависимости от типа данных применяются различные функции. В строго типизированных языках инструментом реализации такого полиморфизма является перегрузка методов. В слабо типизированных языках посредством привидения типов.

Ad-hoc полиморфизм на примере Java(перегрузка методов):

public class Program {
    static int sum(int x, int y){
		return x + y;
	}
	
	static double sum(double x, double y){
		return x + y;
	}
	
	static int sum(int x, int y, int z){
		return x + y + z;
	}
}

Ad-hoc полиморфизм на примере JavaScript (приведение типов):

alert( String(null) === "null" ); // true
alert( true + "test" ); // "truetest" 
alert( "123" + undefined ); // "123undefined"

2. Параметрический полиморфизм

Параметрический полиморфизм - вид полиморфизма, когда функция выполняется вне зависимости от типа аргумента. Такой вид полиморфизма в языках часто раскрывается через Generic'и. Ярким примером является вызов статической функции sort() класса Collections в Java:

public static <T extends Comparable<? super T>> void sort(List<T> list)

3. Полиморфизм подтипов

Полиморфизм подтипов - свойство системы, позволяющее использовать объекты с одинаковым интерфейсом без информации о типе и внутренней структуре объекта. На мой взгляд в данном определении слово интерфейс фигурирует не в значении интерфейсов из языков программирования, где определяются функции, которые мы должны реализовать, а в значении контракта. А уже под контрактом у нас может иметься ввиду - как интерфейс, что мы знаем по языкам программирования, так и абстрактный класс.