Record

export type Scores = Record<string, number>;

export const scores: Scores = {
  math: 90,
  history: 85,
};

// @ts-expect-error оценка должна быть числом, а не строкой
scores.russian = "отлично";

Теперь любой строковый ключ допустим, а значение обязано быть числом. Присваивание строки становится ошибкой, и директива работает по назначению.

Эквивалентная запись

То же самое можно написать через индексную сигнатуру:

type Scores = {
  [key: string]: number;
};

Record короче и лучше читается, а кроме того умеет то, чего индексная сигнатура не умеет: ограничивать набор ключей.

Record с конкретными ключами

Первый аргумент не обязан быть string, туда можно передать union литералов:

type Subject = "math" | "history" | "biology";
type Scores = Record<Subject, number>

Такой вариант заставляет заполнить все ключи и не пропустит лишний. Это удобно для таблиц соответствия: цвет для каждого статуса, подпись для каждой вкладки. Если добавится новый статус, компилятор покажет все места, где его забыли обработать.

Ловушка с чтением по ключу

const scores: Record<string, number> = {
  math: 90,
};

const value = scores.

С Record<string, ...> компилятор считает, что по любому ключу что-то есть, и это не так. Есть два способа быть честнее: опция noUncheckedIndexedAccess, которая добавляет undefined к результату, или явное Record<string, number | undefined>.

Как устроено

type Record<K extends keyof any, T> = {
  [P in K]: T

Тот же mapped type, что у Partial и Pick, только тип значения одинаковый для всех ключей.