Обобщения (Generics) позволяют создавать функции, классы и методы, которые работают с разными типами данных, сохраняя при этом типобезопасность. Это реализует концепцию полиморфизма, так как один и тот же код может обрабатывать объекты разных типов.

В отличие от классического полиморфизма через наследование и виртуальные методы, обобщения обеспечивают полиморфизм на уровне типов во время компиляции, что повышает производительность и безопасность.

Пример на Dart (Flutter):

class Box<T> {
  T value;
  Box(this.value);

  void show() {
    print('Value: $value');
  }
}

void main() {
  var intBox = Box<int>(123);
  var stringBox = Box<String>('Hello');

  intBox.show();      // Value: 123
  stringBox.show();   // Value: Hello
}

Здесь класс Box работает с любым типом T, что демонстрирует полиморфизм через обобщения.

Каким образом использование обобщений (Generics) реализует концепцию полиморфизма в языках программирования?