【TypeScript】TS进阶-泛型

// 定义一个函数，它接受两个参数，第一个是数组的类型，第二个是函数的类型
function compose<A, B>(f: (x: A) => B, g: (x: A) => A): (x: A) => B {
  return x => f(g(x));
}
 
// 使用泛型定义一个类型，它将一个联合类型的每个成员都转换为大写
type UppercaseUnion<T> = {
  [P in T]: uppercase(P);
};
 
// 使用泛型定义一个类型，它将一个对象的键转换为大写
type UppercaseKeys<T> = {
  [K in keyof T as uppercase(K)]: T[K];
};
 
// 使用泛型定义一个类型，它将一个对象的值转换为可选的
type MakeOptional<T> = {
  [K in keyof T]?: T[K];
};
 
// 使用泛型定义一个类型，它将一个对象的值转换为只读的
type MakeReadonly<T> = {
  readonly [K in keyof T]: T[K];
};
 
// 使用泛型定义一个类型，它将一个对象的键和值都转换为只读的
type MakeDeepReadonly<T> = {
  readonly [K in keyof T]: MakeDeepReadonly<T[K]>;
};
 
// 使用泛型定义一个类型，它将一个对象的键和值都转换为可选的并且是只读的
type DeepPartial<T> = {
  [K in keyof T]?: DeepPartial<T[K]>;
};
 
// 使用泛型定义一个类型，它将一个对象的键和值都转换为必需的并且是只读的
type DeepRequired<T> = {
  -readonly [K in keyof T]-?: DeepRequired<T[K]>;
};

这个代码示例展示了如何使用TypeScript中的泛型来创建自定义的类型操作。每个函数和类型都是对泛型的一个具体应用，它们展示了如何使用泛型来创建更加灵活和可重用的类型定义。