> For the complete documentation index, see [llms.txt](https://simian114.gitbook.io/blog/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://simian114.gitbook.io/blog/undefined/undefined-3/undefined/easy/03.-first-of-array.md).

# 03. First Of Array

<https://github.com/type-challenges/type-challenges/blob/master/questions/14-easy-first/README.md>

<https://ghaiklor.github.io/type-challenges-solutions/en/easy-first.html>

## 문제

Implement a generic `First<T>` that takes an Array `T` and returns it’s first element’s type.

For example:

```
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
```

## 풀이

```typescript
type First<T extends any[]> = ?;t

// 1. T에는 exnteds any[] 라는 제한이 걸려있다.
// 따라서 우리는 T 가 배열이라는 것을 가정할 수 있다.
// T가 배열일 때 예외가 생길 수 있는 경우는 비어있는 []인 경우다.
type First<T extends any[]> = T extends [] ? never : T[0]
```

문제는 너무 간단했다. `conditional types` 만 알면 바로 해결할 수 있다.