实现一个Subtract类型,可以在类型上做正整数算术减法运算,结果为非负数
上一期的答案
type Tuple<T extends number, U extends void[] = []> =
U['length'] extends T ? U : Tuple<T, [void, ...U]>
type Subtract<M extends number, N extends number > =
Tuple<M> extends [...Tuple<N>, ... infer R] ? R['length'] : never
今日题目:实现一个Add类型,可以在类型上做正整数算术加法运算,结果为非负数
预期
type A = Add<3,3> // 6
type B = Add<10,7> // 17