復習：配列の最初の要素を取得する（TC-4）

お題

配列Tを受け取り、その最初の要素を返す型を実装する。

type arr = ["a", "b", "c"]
type result = First<arr>

// result => "a"

type First<T extends any[]> = T extends [infer U, ...any[]] ? U : never;

<T extends any[]>
Tを配列のみ受け取るように制約。
T extends [infer U, ...any[]] ? ...
条件分岐（Tが[infer U, ...any[]]の形だったら...）で評価を行う。
[infer U, ...any[]]
- infer U
  要素の最初の要素の型推論を行う。
- ...any[]
  配列の残りの要素を表す。
... ? U : never
最初の要素があればU、なければneverを返す。

T extends U ? X : Y;
// trueならX、falseならY

type IsString<T> = T extends string ? true : false;
type IsString<"a"> // => true;

TypeSciptは型推論の際に、可能な限り具体的な型推論を行うから。

["a", "b", "c"]の配列の最初の要素は明確に`"a"`という文字列
→ 型として`string`よりも具体的な`"a"`という文字リテラル型が推論される。

const list = ["Japan", "China", "Korea"]
const NewList = [...list, "France"]

// NewList => ["Japan", "China", "Korea", "France"]