挑战
在此挑战中建议使用 TypeScript 4.0
实现一个泛型Pop<T>，它接受一个数组T，并返回一个由数组T的前 N-1 项（N 为数组T的长度）以相同的顺序组成的数组。
例如
type arr1 = ['a', 'b', 'c', 'd'];
type arr2 = [3, 2, 1];
type re1 = Pop<arr1>; // expected to be ['a', 'b', 'c']
type re2 = Pop<arr2>; // expected to be [3, 2]额外：同样，您也可以实现Shift，Push和Unshift吗？
解答
我们需要将数组分成两部份：从头部到最后一个元素之前的所有内容和最后一个元素本身。 之后，我们就可以去掉最后一个元素并返回头部部分了。
type Pop<T extends any[]> = T extends [...infer R, any] ? R : T;另外三个：
type Shift<T extends any[]> = T extends [any, ...infer R] ? R : T;
type Push<T extends any[], V> = [...T, V];
type Unshift<T extends any[], V> = [V, ...T];