Type Challenges

题目描述 Implement a type IsUnion, which takes an input type T and returns whether T resolves to a union

题目描述 Implement a type IsNever, which takes input type T. If the type of resolves to never, return tr

题目描述 在类型系统中实现类似于 Python 中 any 函数。类型接收一个数组，如果数组中任一个元素为真，则返回 true，否则返回 false。如果数组为空，返回 false。 例如： 题解 类

题目描述 获取两个接口类型中的差值属性。 题解 题解1：使用Omit和联合类型 联合类型L | R： L | R是L和R的联合类型，表示一个类型可以是L或R keyof (L | R)会提取L和R中所

题目描述 Replace the camelCase or PascalCase string with kebab-case. FooBarBaz -> foo-bar-baz For exampl

题目描述 将两个类型合并成一个类型，第二个类型的键会覆盖第一个类型的键。 例如 题解 遍历联合类型 [P in keyof L | keyof R]：遍历L和R的所有键的联合类型 条件类型 P ext

题目描述 实现一个将接收到的String参数转换为一个字母Union的类型。 例如 题解 类型约束 使用T extends string对T进行约束，确保T是一个字符串类型 条件类型 如果T不是空字符

题目描述 实现一个接收string,number或bigInt类型参数的Absolute类型,返回一个正数字符串。 例如 题解 类型约束 使用T extends number | string | b

题目描述 实现一个为接口添加一个新字段的类型。该类型接收三个参数，返回带有新字段的接口类型。 例如: 题解 类型约束 通过U extends PropertyKey对U进行约束，确保U是合法的键类型

题目描述 在这个挑战中，你需要写一个接受数组的类型，并且返回扁平化的数组类型。 例如: 题解 类型约束 T extends unknown[]：这个约束确保传入的类型参数T是一个数组 条件类型 T e

题目描述 计算字符串的长度，类似于String#length。 题解 类型约束 使用T extends string对T进行约束，确保T是一个字符串 引入泛型 引入泛型Acc，Acc是一个累积器，用来

题目描述 实现联合类型的全排列，将联合类型转换成所有可能的全排列数组的联合类型。 题解 引入泛型 引入泛型Acc，Acc是一个累积器，默认值为T，用来存储当前的排列 条件类型 如果T是never，返回

题目描述 实现一个泛型AppendArgument<Fn, A>，对于给定的函数类型Fn，以及一个任意类型A，返回一个新的函数G。G拥有Fn的所有参数并在末尾追加类型为A的参数。 题解 类型约束 使用

题目描述 实现ReplaceAll<S, From, To>将一个字符串S中的所有子字符串From替换为To。 例如 题解 类型约束 使用T extends string对类型T进行约束，确保T是一个

题目描述 实现Replace<S, From, To>将字符串S中的第一个子字符串From替换为To。 例如 题解 类型约束 使用T extends string对类型T进行约束，确保T是一个字符串类

题目描述 实现Capitalize<T>它将字符串的第一个字母转换为大写，其余字母保持原样。 例如 题解 类型约束 使用T extends string对类型T进行约束，确保T是一个字符串类型 条件类

题目描述 实现Trim<T>，它接受一个明确的字符串类型，并返回一个新字符串，其中两端的空白符都已被删除。 例如 题解 类型约束 使用T extends string对类型T进行约束，确保T是一个字符

题目描述 实现TrimLeft<T> ，它接收确定的字符串类型并返回一个新的字符串，其中新返回的字符串删除了原字符串开头的空白字符串。 例如 题解 类型约束 使用S extends string对类型

题目描述 有时，您可能希望根据某个属性在联合类型中查找类型。 在此挑战中，我们想通过在联合类型Cat | Dog中通过指定公共属性type的值来获取相应的类型。换句话说，在以下示例中，LookUp<D

题目描述 给函数PromiseAll指定类型，它接受元素为 Promise 或者类似 Promise 的对象的数组，返回值应为Promise<T>，其中T是这些 Promise 的结果组成的数组。 题