14 - First of Array

질문

배열(튜플) T를 받아 첫 원소의 타입을 반환하는 제네릭 First<T>를 구현하세요.

예시:

1
type arr1 = ['a', 'b', 'c']
2
type arr2 = [3, 2, 1]
3

4
type head1 = First<arr1> // expected to be 'a'
5
type head2 = First<arr2> // expected to be 3
6

7
/* _____________ 테스트 케이스 _____________ */

선행 지식

1. 조건부 타입 extends

   1
   T extends U ? A : B

   삼항 연산자 형태의 타입 비교문. 참이면 A, 아니면 B를 return한다.

2. infer

   1
   T extends [infer X, number] ? X : never

   조건부 타입 내에서 사용할 수 있는 타입 추론 키워드. 매칭되는 타입을 변수처럼 추출할 수 있다.

3. 배열의 나머지 연산 ...

   1
   [infer X, ...infer Rest]

   ... 연산자는 앞 부분과 나머지를 분리하여 이 위치 이후로의 모든 요소를 하나의 타입으로 묶는데 사용한다.

풀이