BFE.devAI解答 - TypeScript 类型谜题
40. implement UnionToIntersection<T>

实现代码如下：

type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;

解释：

首先，我们需要将Union类型中的每个类型都转换成Intersection类型，我们可以使用forEach相当于reduce到一个具体的值。

在这个过程当中，我们需要用一个函数来合并两个类型，即交并集，我们可以使用TS内置的utilityType & 进行类型的合并。

最后返回的类型为所有类型交集的结果，我们可以使用infer关键词来获取交集的结果。