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

可以使用递归来实现乘法操作，每次将 A 减一直到 A 为 0，每次将 B 加上原始 B 的值，直到 A 减到 0，此时 B 的值即为乘积。

实现如下：

type Multiply<A extends number, B extends number> = A extends 0 ? 0 : B extends 0 ? 0 : Multiply<A extends 1 ? 0 : A extends 0 ? never : A extends 1 & infer U ? Number<U> : never, B> extends infer V ? B extends 1 ? A : V : never;

其中用到了 TypeScript 中的条件类型和递归。