Что такое дженерики в typescript?

• Дженерики позволяют описать код, который работает с разными типами, сохраняя отношения между ними. В вашей функции тип результата связан с типом элементов входного массива.
• Параметр T в first<T>(items: T[]): T | undefined обозначает этот тип. Для массива строк TypeScript обычно выводит строковый тип, для массива чисел — числовой.
• Возможность undefined нужна из-за пустого массива. Дженерик не делает вход автоматически непустым и не меняет поведение JavaScript при чтении отсутствующего элемента.
• В отличие от any, параметр типа сохраняет информацию для проверки последующих операций. Но произвольное свойство вроде length нельзя читать у неизвестного T без подходящего ограничения.
• Дженерики работают при проверке типов. Они не добавляют автоматическую проверку полученного по сети JSON во время исполнения.

Дженерик задаёт параметр типа. Например, function first<T>(items: T[]): T | undefined { return items[0]; } сохраняет связь между типом элементов и результатом.