956 - DeepPick

[tclxshunquan-wang]

type UnionToIntersection<T> = (T extends any ? (args: T) => any : never) extends (args: infer R) => any ? R : never;

type LastInUnion<T> = UnionToIntersection<(T extends any ? (arg: T) => any : never)> extends (arg: infer R) => any ? R : never;

type UnionToTuple<T, U = T> = [T] extends [never] ? [] : [LastInUnion<T>, ...UnionToTuple<Exclude<U, LastInUnion<T>>>];

type PickOne<T, K, Last = T> = K extends '' ? unknown : K extends `${infer A extends string}.${infer B}` ? (A extends keyof T ? {
  [key in A]: PickOne<T[key], B, T[key]>
} : never) : K extends keyof Last ? {
  [K1 in K]: Last[K1]
} : Last

type Tuple<T> = UnionToTuple<T>

type PickLoop<T, K extends any[], U = unknown> = K extends [infer A, ...infer B] ? PickLoop<T, B, PickOne<T, A> & U> : U

type DeepPick<T, K> = PickLoop<T, Tuple<K>>