infer түлхүүр үг

// infer ашиглахгүйгээр — боломжгүй
type PromiseДотор<T> = T extends Promise<???> ? ??? : never;
// ???-д юу бичих вэ? T-д юу байгааг бид мэдэхгүй!

// infer ашиглавал — TypeScript өөрөө дүгнэнэ
type PromiseДотор<T> = T extends Promise<infer R> ? R : never;

type Тест1 = PromiseДотор<Promise<string>>;  // string
type Тест2 = PromiseДотор<Promise<number>>;  // number
type Тест3 = PromineДотор<Promise<{ нэр: string }>>; // { нэр: string }
type Тест4 = PromiseДотор<boolean>; // never — Promise биш

// Функцийн буцаах төрлийг авах
type БуцаахТөрөл<T> = T extends (...args: any[]) => infer R ? R : never;

// Функцийн эхний параметрийн төрлийг авах
type ЭхнийПараметр<T> = T extends (эхний: infer P, ...args: any[]) => any
  ? P
  : never;

// Бүх параметрийг tuple болгон авах
type БүхПараметр<T> = T extends (...args: infer P) => any ? P : never;

function хадгалах(нэр: string, нас: number, хот: string): boolean {
  return true;
}

type Буцаалт = БуцаахТөрөл<typeof хадгалах>; // boolean
type Эхний = ЭхнийПараметр<typeof хадгалах>; // string
type БүхПарам = БүхПараметр<typeof хадгалах>; // [string, number, string]

// Массивын элементийн төрлийг авах
type МассивЭлемент<T> = T extends (infer E)[] ? E : never;

type Тест1 = МассивЭлемент<string[]>; // string
type Тест2 = МассивЭлемент<number[]>; // number
type Тест3 = МассивЭлемент<boolean[]>; // boolean

// Tuple-ийн эхний ба сүүлийн элемент
type ТuplеЭхний<T extends any[]> = T extends [infer Эхний, ...any[]]
  ? Эхний
  : never;
type ТuplеСүүлийн<T extends any[]> = T extends [...any[], infer Сүүлийн]
  ? Сүүлийн
  : never;

type Х1 = ТuplеЭхний<[string, number, boolean]>; // string
type Х2 = ТuplеСүүлийн<[string, number, boolean]>; // boolean
type Х3 = ТuplеЭхний<[42, "Монгол"]>; // number (42)

// Давхарласан Promise-г бүрэн задлах
type ГүнПромис<T> = T extends Promise<infer R> ? ГүнПромис<R> : T;

type Тест1 = ГүнПромис<Promise<string>>; // string
type Тест2 = ГүнПромис<Promise<Promise<number>>>; // number
type Тест3 = ГүнПромис<Promise<Promise<Promise<boolean>>>>; // boolean
type Тест4 = ГүнПромис<string>; // string — Promise биш

// API хариуг задлах
interface АПИХариу<T> {
  өгөгдөл: T;
  амжилттай: boolean;
}

type АПИӨгөгдөл<T> = T extends АПИХариу<infer D> ? D : never;

type Хэрэглэгч = { нэр: string; нас: number };
type ХэрэглэгчХариу = АПИХариу<Хэрэглэгч>;

type ЗадлагдсанХэрэглэгч = АПИӨгөгдөл<ХэрэглэгчХариу>;
// { нэр: string; нас: number }

// Хэрэглэгч ба ХэрэглэгчХариу-г тусад нь бичихгүйгээр шууд задлаж болно
async function апи_авах<T>(url: string): Promise<T> {
  const хариу = await fetch(url);
  return хариу.json();
}

type АвахБуцаалт = АПИӨгөгдөл<АПИХариу<Хэрэглэгч>>; // { нэр: string; нас: number }