Pop This project is aimed at helping you better understand how the

Alternatively, <div class="highlight highlight-source-ts notranslate position-rela

Update for new test case. <div class="highlight highlight-source-ts notranslate po

<a class="user-mention notranslate" data-hovercard-type="user" data-hovercard-url="/us

type-challenges-solutions/en/medium-pop about type-challenges-solutions HOT 4 OPEN

ghaiklor commented on May 28, 2024

type-challenges-solutions/en/medium-pop

from type-challenges-solutions.

Comments (4)

MajorLift commented on May 28, 2024 3

Alternatively,

type Pop<T extends any[]> = T extends [...infer H, infer _] ? H : []

from type-challenges-solutions.

MajorLift commented on May 28, 2024 1

Update for new test case.

Expect<Equal<Pop<[]>, []>>
type Pop<T extends any[]> = T["length"] extends 0 ? [] : T extends [...infer H, infer T] ? H : never

from type-challenges-solutions.

dvlden commented on May 28, 2024

Following the previous exercise that I did not understand (and I still don't), here's my solution and extras from the same challenge, that were optional.

type Pop<T extends unknown[]> = T extends [...infer L, unknown] ? L : never
type Push<T extends unknown[], V> = [...T, V]
type Shift<T extends unknown[]> = T extends [unknown, ...infer F] ? F : never
type Unshift<T extends unknown[], V> = [V, ...T]

Test cases:

type cases = [
  Expect<Equal<Pop<[3, 2, 1]>, [3, 2]>>,
  Expect<Equal<Pop<['a', 'b', 'c', 'd']>, ['a', 'b', 'c']>>,

  Expect<Equal<Push<[1, 2, 3], 4>, [1, 2, 3, 4]>>,
  Expect<Equal<Push<['a', 'b', 'c'], 'd'>, ['a', 'b', 'c', 'd']>>,

  Expect<Equal<Shift<[1, 2, 3]>, [2, 3]>>,
  Expect<Equal<Shift<['a', 'b', 'c', 'd']>, ['b', 'c', 'd']>>,

  Expect<Equal<Unshift<[1, 2, 3], 4>, [4, 1, 2, 3]>>,
  Expect<Equal<Unshift<['a', 'b', 'c', 'd'], 'e'>, ['e', 'a', 'b', 'c', 'd']>>,
]