TypeScript is giving me an error with a generic tuples rest element
type Tuple<Value extends any[]> = [...Value];
Error:
$ tsc
src/index.ts:1:36 - error TS2574: A rest element type must be an array type.
1 type Tuple<Value extends any[]> = [...Value];
What am I missing here?
- typescript version:
[email protected]
type Tuple<HEAD, TAIL extends any[]> = [HEAD, ...TAIL];
doesn't work, although this works:
type Tuple<Value extends any[]> = [...any[]];
UPDATE for TS4.0+. TypeScript 4.0 introduced support for variadic tuple types, so the code in this question should work as written, without needing to reword your operation in terms of function parameters. Hooray!
TS3.9- ANSWER:
The only thing you're missing is that such inference isn't currently supported. Maybe it will be in a future version of TypeScript. Luckily there is still a way to do what you want by expressing the desired operation in terms of one on function parameters, since as of TypeScript 3.0, there is a way to convert between tuple/array types and function parameters, and you can use
infer
as desired on parameter types.Here's one possible implementation of
Tail
:Notice that you take the tuple/array type
T
, spread it to a parameter list, then infer everything after the first parameter as another tuple/array rest type.Similarly, you can implement your
Tuple
in a way that I'd callCons
:And I'll leave
Head
as an exercise for you (that's what people say when they want to seem smart instead of lazy).Anyway, hope that helps you make progress. Good luck!