picking up the branches of an object

deeppick.ts

type ExtractKeys<T> = {
		[K in keyof T & string]: T[K] extends any[]
			? `${K}`
			: T[K] extends object
			? 
			  `${K}` | `${K}.${ExtractKeys<T[K]>}`
			: `${K}`;
	}[keyof T & string];

type ExtractNonDateKeys<T> = {
	[K in keyof T & string]: T[K] extends any[]
		? `${K}`
		: T[K] extends object
		? T[K] extends Date
			? `${K}`
			: `${K}.${ExtractKeys<T[K]>}`
		: `${K}`;
}[keyof T & string];

type GetObject<T extends Record<PropertyKey, any>, S extends string> = S extends keyof T
	? {
			[Key in S]: T[Key];
	  }
	: S extends `${infer A}.${infer Rest}`
	? {
			[Key in A]: Rest extends [] ? T[A] : GetObject<T[A], Rest>;
	  }
	: never;

type UnionToIntersection<U> = (U extends U ? (arg: U) => void : never) extends (
	arg: infer R,
) => void
	? R
	: never;

type DeepPick<
	T extends Record<string, any>,
	U extends ExtractNonDateKeys<T>
> = UnionToIntersection<U extends U ? GetObject<T, U> : never>;

type myObject = {
  name: string,
  age: number,
  props: {
    prop1: string,
    prop2: {
      other: string,
    },
  },
  
}

type t1 = DeepPick<myObject, "props.prop1" | "props.prop2" | "name">
type t2 = DeepPick<myObject, "age">