Mapped тип

export type MyPartial<T> = { [K in keyof T]?: T[K] };

export const patch: MyPartial<{ name: string; age: number }> = { age: 31 };

? после [K in keyof T] делает каждое поле необязательным. MyPartial<{ name: string; age: number }> раскрывается в { name?: string; age?: number }, и объект только с age подходит.

Так устроен встроенный Partial

Это не упрощённая версия, а буквально то, как Partial объявлен в стандартной библиотеке:

type Partial<T> = {
  [P in keyof T]?: T[P];
}

Другие модификаторы

Кроме ? есть readonly, а перед любым из них можно поставить -, чтобы модификатор снять:

type MyReadonly<T> = { readonly [K in keyof T]: T[K] }

Первые два это встроенные Readonly и Required. Третьего в стандартной библиотеке нет, но пишется он так же.

Перебор не только keyof

Перебирать можно любое объединение строк, тогда исходный тип вообще не нужен:

type Theme = "light" | "dark";
type Colors = { [K in Theme]: string

Так устроен Record из прошлого курса, и Pick из задания 12: тот перебирает не все ключи T, а только переданные в K.