Что такое полиморфизм?

Полиморфизм позволяет использовать общий интерфейс для значений разных типов, сохраняя поведение, соответствующее конкретному типу. В ООП типичный пример — вызов переопределённого метода.

Если Circle и Rectangle реализуют area(), код может работать с абстракцией фигуры, не выбирая формулу через цепочку проверок типа. Это полиморфизм подтипов. В более широком смысле выделяют также параметрический полиморфизм, например обобщённые контейнеры, и перегрузку. Не сводите понятие только к наследованию классов: общий контракт может задаваться интерфейсом или соглашением языка. Важна возможность подстановки без нарушения ожиданий вызывающего кода.