type Enumerate<N extends number, Acc extends number[] = []> = Acc['length'] extends N ? Acc[number] : Enumerate<N, [...Acc, Acc['length']]>;
//let a: 0 | 1 | 2 | 3
let a : Enumerate<4> = 2
Enumerate<N, Acc>:生成一个数字数组类型,该数组的长度为 N,其中数组中的元素从 0 开始递增到 N - 1。例如,Enumerate<5> 会生成类型 0 | 1 | 2 | 3 | 4
type IntRange<F extends number, T extends number> = Exclude<Enumerate<T>, Enumerate<F>>;
//let minuteStep: 4 | 1 | 2 | 3 | 5
let minuteStep: IntRange<1, 6> = 1
生成一个整数范围类型,该范围由从 F 到 T 的所有整数构成,并且包含 F 不包含 T。例如,IntRange<3, 6> 会生成类型 3 | 4 | 5