2022-12-17
TypeScriptで `n | n +1 | n+2 | ... | m` みたいな型をつくる
業務中にこういう型があるといいなと思ったのでパズルがてらやってみた。
ほしい型のイメージは以下。
type Between<3, 7> // 3 | 4 | 5 | 6 | 7最終的には始点と終点を指定したいが、まずは始点を 0 固定で終点だけ指定できるのを書いてみる。
type UpTo<N extends number> = UpToBase<N, [], never>;
type UpToBase<
N extends number,
A extends unknown[],
Acc extends unknown
> = A["length"] extends N
? Acc | N
: UpToBase<N, [...A, null], Acc | A["length"]>;
type UpToThree = UpTo<3>; // 0 | 1 | 2 | 3できた。
始点も指定できるようにしたい。
上記の UpToBase の第二型引数に始点の長さの配列型を渡せればよさそうだ。
材料として、数値を与えたらその長さの配列型を返す型を書いてみる。
type ArrayOfLength<N extends number> = ArrayOfLengthBase<N, []>;
type ArrayOfLengthBase<
N extends number,
acc extends unknown[]
> = acc["length"] extends N ? acc : ArrayOfLengthBase<N, [...acc, unknown]>;
type ArrayOfLengthThree = ArrayOfLength<3>; // [unknown, unknown, unknown]できた。
そしたらこれをつかって、Betweenを書いてみる。
type Between<From extends number, To extends number> = UpToBase<
To,
ArrayOfLength<From>,
never
>;
type BetweenThreeAndSeven = Between<3, 7>; // 3 | 4 | 5 | 6 | 7できた〜。