Что такое mapped types в TypeScript?

Mapped types создают новый тип на основе существующего, трансформируя каждое поле. type Optional = { [K in keyof T]?: T[K] } — то же что Partial. type Readonly = { readonly [K in keyof T]: T[K] }. Можно добавлять/убирать модификаторы: +? добавляет optional, -? убирает. Переименование ключей через as: { [K in keyof T as get${Capitalize}]: () => T[K] }. Основа для многих utility types.