Типизированный entries

export function entriesOf<T extends object>(obj: T): [keyof T, T[keyof T]][] {
  return Object.entries(obj) as [keyof T, T[keyof T]][];
}

export const total = entriesOf({ хлеб: 50, молоко: 80 }).reduce((sum, [, price]) => sum + price, 0);

keyof T даёт объединение ключей, T[keyof T] объединение типов всех полей. Для { хлеб: number; молоко: number } пары получаются ["хлеб" | "молоко", number], и price теперь число.

Почему здесь нужен as

Object.entries в стандартной библиотеке возвращает [string, ...][], и это не случайность. TypeScript сравнивает типы по структуре, поэтому у объекта в рантайме может оказаться больше полей, чем видно в типе:

const full = { name: "Макс", age: 30, admin: true };
const user: { name: 

Поэтому стандартная библиотека не обещает точных ключей. Наш as означает: «я знаю, что сюда передают объекты ровно того типа, который виден». Для литералов и своих данных это обычно правда, но это допущение, а не гарантия.

Пары не связаны между собой

Обрати внимание, что тип [keyof T, T[keyof T]] не связывает конкретный ключ с его значением:

const pairs = entriesOf({ name: "Макс", age: 30 });
// ["name" | "age", string | number][]
// пара ["name", 30] по типу тоже допустима

Связать ключ и значение в каждой паре можно через mapped type, но это уже продвинутый приём. Для большинства задач, вроде суммирования или вывода списка, такой точности хватает.