Что такое generics (обобщённые типы) и зачем они нужны?

Generics -- это параметризованные типы, которые позволяют писать код, работающий с любым типом данных, сохраняя при этом полную типобезопасность. Вместо any ты передаёшь тип как параметр (<T>), и TypeScript подставляет конкретный тип при использовании. Это как аргументы функции, но для типов: функция принимает значение, generic принимает тип.