Что такое полиморфизм и для чего он нужен? Java

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

Из Википедии (обсуждается всеми знакомый Ad-hoc-полиморфизм):
"Поддерживается во многих языках посредством перегрузки функций и методов, а в слабо типизированных — также посредством приведения типов."
ОПРЕДЕЛЕНИЯ:
• Перегрузка функций — возможность использования нескольких функций под одним именем;
• Приведение типов — преобразование одного типа к другому.

===== Пример 1:
Путем перегрузки функции =====
int plus(int a, int b) { return a + b; }
float plus(float a, float b) { return a + b; }
double plus(double a, double b) { return a + b; }

===== Пример 2:
Путем приведения типов =====
Object plus(Object a, Object b) {
if (a instanceof Integer && b instanceof Integer) {
Integer aInt = (Integer) a;
Integer bInt = (Integer) b;
return aInt + bInt;
} else if(...) {
// ...
}
}

ТАКЖЕ есть так называемый параметрический полиморфизм. Вот пример реализации на языке Java:
public <T extends Animal> void process(T animal);