DeepReadonly и DeepPartial (рекурсивные mapped types)

Задача

Реализовать DeepReadonly<T> и DeepPartial<T> — рекурсивные версии Readonly/Partial, применяющие модификатор ко всем уровням вложенности.

Пример

type Config = {
    name: string;
    db: { host: string; ports: number[] };
};
 
type A = DeepReadonly<Config>;
// { readonly name: string; readonly db: { readonly host: string; readonly ports: readonly number[] } }
 
type B = DeepPartial<Config>;
// { name?: string; db?: { host?: string; ports?: number[] } }

Решение

Оптимальное решение

// Рекурсивно спускаемся, пока значение — объект
type DeepReadonly<T> = {
    readonly [P in keyof T]: T[P] extends object
        ? DeepReadonly<T[P]> // вложенный объект/массив → рекурсия
        : T[P]; // примитив → как есть
};
 
type DeepPartial<T> = {
    [P in keyof T]?: T[P] extends object
        ? DeepPartial<T[P]>
        : T[P];
};

Тонкости

• Условие T[P] extends object отправляет в рекурсию только объекты и массивы; примитивы (string, number, …) остаются как есть.
• Массивы тоже object, поэтому number[] станет readonly number[] / рекурсивно обработается — обычно это желаемое поведение.
• Функции — тоже object: если не хотите в них спускаться, добавьте ветку T[P] extends Function ? T[P] : ....

Ограничение

Для Map, Set, Date наивная рекурсия попытается пройтись по их полям, что обычно не нужно. В таких случаях добавляют явные проверки: T extends Map<infer K, infer V> ? ... : ....

См. также

• implement-utility-types
• implement-infer-return-params