Полиморфизм (информатика)

• Полиморфизм – способность одного типа данных или функции иметь несколько форм или значений. 
• Существует специальный полиморфизм, определяющий общий интерфейс для произвольных типов, и параметрический полиморфизм, использующий абстрактные символы. 
• Подтипирование (полиморфизм подтипов) описывает ситуацию, когда имя обозначает экземпляры множества различных классов, связанных общим суперклассом. 
• Интерес к системам полиморфного типа возрос в 1990-х годах, и к концу десятилетия начали появляться практические реализации. 
• Параметрический полиморфизм позволяет писать функции или типы данных в общем виде для обработки значений, не зависящих от их типа. 
• Полиморфизм подтипов ограничивает диапазон типов, которые могут использоваться в конкретном случае полиморфизма. 
• Полиморфизм строк рассматривает структурные типы и позволяет использовать все значения с определенными свойствами без потери информации о типе.