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

Например, в TypeScript можно написать функцию, которая возвращает элемент массива любого типа:

function getFirstElement<T>(arr: T[]): T {
  return arr[0];
}

const num = getFirstElement([1, 2, 3]); // тип number
const str = getFirstElement(["a", "b"]); // тип string

Здесь <T> — это параметр типа, который подставляется при вызове функции. Это повышает гибкость и переиспользуемость кода, а также помогает избежать ошибок типов.

Можете ли вы объяснить концепцию обобщённых типов или шаблонов в программировании?