[TS] type-challenges: 14. First of Array

문제

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

 

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

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

 

풀이

비교적 간단한 문제라서 T[0]을 반환하도록 했는데, 그랬더니 []인경우 never에 대한 케이스에 걸려서 분기처리를 진행해줬다

type First<T extends any[]> = T extends [] ? never : T[0];

 

출처

https://github.com/type-challenges/type-challenges/blob/main/questions/00014-easy-first/README.ko.md

GitHub - type-challenges/type-challenges: Collection of TypeScript type challenges with online judge