BFE.devAI解答 - TypeScript 类型谜题
42. implement Equal<A, B>

以下是一种可能的实现方式：

type Equal<A, B> =
  (<T>() => T extends A ? 1 : 2) extends
  (<T>() => T extends B ? 1 : 2) ? true : false;

思路解释：

我们定义了一个 Equal<A, B> 类型别名，利用了 TypeScript 中泛型的理论基础，以及函数的返回值推断。我们将两个空的函数声明，利用了 TypeScript 中的 extends 条件类型判断，如果 A 能够显式声明为 B 的子类型，那么就返回 true，否则返回 false。

在函数中，我们声明一个临时泛型类型 T，利用 TypeScript 的条件类型推断，如果 T 能够被显式声明为 A 的子类型，那么这个函数返回 1，否则返回 2。同样的，我们又新定义了一个泛型类型 T，判断 T 是否能够被显式声明为 B 的子类型，如果是，则返回 1，否则返回 2。

最后，我们用 extends 进行比较，如果上述两个函数的结果相等，则说明 A 能够被显式声明为 B 的子类型，返回 true，否则返回 false。

过程有些复杂，但核心原理理解之后，工具、技术虽然不断变化，但掌握透彻的语言机制与核心概念是一劳永逸的事情。