Proposal: ArrayTail

[rifler]

type Tail<T extends any[]> = ((...args: T) => any) extends ((_: any, ...args: infer P) => any) ? P : [];

Tail<[1, 2, 3]> // [2, 3]

Upvote & Fund

• We're using Polar.sh so you can upvote and help fund this issue.
• The funding will be given to active contributors.
• Thank you in advance for helping prioritize & fund our backlog.

[sindresorhus]

What's the real-world use-case?

[rifler]

for example some of latest release of got brokes many of our types, changed type of context field
lets patch some of the types

import { BeforeRedirectHook as GotBeforeRedirectHook, NormalizedOptions } from 'got';

type PatchedNormalizedOptions = Omit<NormalizedOptions, 'context'> & {
    context?: YourType;
};

type BeforeRedirectHook = (options: PatchedNormalizedOptions, ...args: Tail<Parameters<GotBeforeRedirectHook>>) => ReturnType<GotBeforeRedirectHook>;

here I overrite first argument and use Tail to add original arguments to the end

[sweetliquid]

type Tail<T extends any[]> = T extends [any, ...infer P] ? P : []

I like this.

[Narretz]

I've used tail to create a function signature without the first argument for curried functions.

[sindresorhus]

This is accepted. I think Tail is too ambigious. Should be ArrayTail.

We actually already use this internally:

type-fest/source/internal.d.ts

Lines 109 to 112 in 7950542

	/**
	Extracts the type of an array or tuple minus the first element.
	*/
	export type ArrayTail<TArray extends UnknownArrayOrTuple> = TArray extends readonly [unknown, ...infer TTail] ? TTail : [];