As const и кортеж

export function toTuple<A, B>(a: A, b: B) {
  return [a, b] as const;
}

export const entry: readonly [string, number] = toTuple("Макс", 30);

as const говорит компилятору: не расширяй это выражение. Для массива это значит две вещи: он становится кортежем фиксированной длины и только для чтения. Тип результата теперь readonly [A, B], для нашего вызова readonly [string, number].

Почему readonly

Кортеж, который можно менять, легко сломать:

const pair: [string, number] = ["Макс", 30];
pair.push(1); // компилируется, длина уже 3

as const честно помечает результат как неизменяемый, и push на нём не скомпилируется. Поэтому в задании тип entry тоже с readonly: обычный [string, number] из readonly-кортежа не присвоить.

as const на литералах

Внутри дженерика as const касается только структуры, потому что A и B уже выведены как string и number. На литералах он фиксирует ещё и сами значения:

const a = ["Макс", 30] as const; // readonly ["Макс", 30]

Это пригодится в задании 18.

Альтернатива с явным типом

То же самое можно получить, указав тип результата:

function toTuple<A, B>(a: A, b: B): [A, B] 

Здесь кортеж будет изменяемым. Какой вариант выбирать, зависит от того, должен ли вызывающий код менять результат. Чаще всего не должен.