Number Range
提出詳細
type LUTplus = [1, 2, 3, 4, 5, 6, 7, 8, 9, 0] type Reverse<T extends string, O extends string = ""> = T extends `${infer L}${infer R}` ? Reverse<R, `${L}${O}`> : T extends string ? `${T}${O}` : O type PlusOneS<T extends string> = Reverse<T> extends `${infer Digit extends number}${infer Rest}` ? Digit extends 9 ? Rest extends "" ? "10" : `${PlusOneS<Reverse<Rest>>}0` : `${Reverse<Rest>}${LUTplus[Digit]}` : never type TrimZero<T extends string> = T extends `${infer H extends number}${infer R}` ? R extends "" ? `${H}` : H extends 0 ? TrimZero<R> : T : T type ParseInt<T extends string> = T extends `${infer N extends number}` ? N : never type PlusOne<T extends number> = ParseInt<TrimZero<PlusOneS<`${T}`>>> type NumberRange<L extends number, H extends number, _A extends number = L> = _A extends H ? L : NumberRange<L | PlusOne<_A>, H, PlusOne<_A>>
| 提出日時 | 2024-09-11 14:09:31 |
|---|---|
| 問題 | Number Range |
| ユーザー | ookkoouu |
| ステータス | Accepted |
import type { Equal, Expect } from '@type-challenges/utils' type Result1 = | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 type Result2 = | 0 | 1 | 2 type Result3 = | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 | 78 | 79 | 80 | 81 | 82 | 83 | 84 | 85 | 86 | 87 | 88 | 89 | 90 | 91 | 92 | 93 | 94 | 95 | 96 | 97 | 98 | 99 | 100 | 101 | 102 | 103 | 104 | 105 | 106 | 107 | 108 | 109 | 110 | 111 | 112 | 113 | 114 | 115 | 116 | 117 | 118 | 119 | 120 | 121 | 122 | 123 | 124 | 125 | 126 | 127 | 128 | 129 | 130 | 131 | 132 | 133 | 134 | 135 | 136 | 137 | 138 | 139 | 140 type cases = [ Expect<Equal<NumberRange<2, 9>, Result1>>, Expect<Equal<NumberRange<0, 2>, Result2>>, Expect<Equal<NumberRange<0, 140>, Result3>>, ]