Дженерик класс и метод

export class Box<T> {
  constructor(private value: T) {}

  get(): T {
    return this.value;
  }

  map<R>(fn: (value: T) => R): Box<R> {
    return new Box(fn(this.value));
  }
}

export const nameLength = new Box("Макс").map((name) => name.length).get();

T объявлен у класса и используется в конструкторе, поле и обоих методах. R объявлен у метода map и существует только внутри одного вызова. Цепочка выглядит так:

1. new Box("Макс") выводит T = string, получается Box<string>.
2. .map((name) => name.length) выводит R = number, получается Box<number>.
3. .get() возвращает number.

Почему R не у класса

Если объявить оба параметра у класса, class Box<T, R>, то R пришлось бы знать заранее, при создании коробки. А один и тот же экземпляр можно мапить сколько угодно раз в разные типы:

const box = new Box(42);
box.map(String);           // Box<string>
box.map((n)

Правило: параметр объявляют там, где он рождается. Тип содержимого рождается при создании экземпляра, тип результата при вызове метода.

Знакомая конструкция

Это та же идея, что у Array<T> с map<U> из задания 3, и у Promise<T> с then<R>. Контейнер помнит, что внутри, а преобразование создаёт новый контейнер с новым типом.