お題

Exclude<T, U>を使用せず、ユニオン型TからUで指定したユニオン型を取り除いたユニオン型を返す型MyExcludeを実装する。

やりたいこと

type result = MyExclude<"a" | "b" | "c", "a">  // "b" | "c"

解答

type MyExclude<T, U> = T extends U ? never : T;

解説

処理の流れ

<T, U>
ユニオン型Tと、取り除きたい型Uを引数にとるようにする。
Conditional Typesによって評価を行う。
- Uの場合は、neverを返す
- Uではない場合は、そのままTの値を返す

そもそも`Exclude<T,U>`とは...

ユニオン型TからUで指定した型を取り除いたユニオン型を返すユーティリティ型

type Grade = "A" | "B" | "C" | "D" | "E";
type PassGrade = Exclude<Grade, "E">; // "A" | "B" | "C" | "D";

ユニオン型の条件分岐の場合に何が起こる？

Conditional TypesのUnion distributionと言う性質により、各要素に対して評価が行われる（分配法則）。

// MyExclude<"a" | "b" | "c", "a"> の場合

("a" extends "a" ? never : "a") | ("b" extends "a" ? never : "b") | ("c" extends "a" ? never : "c")

-> never | "b" | "c"
-> "b" | "c"

Conditional Typesとは...

参考記事

`Exclude<T,U>`

Exclude | TypeScript入門『サバイバルTypeScript』

Union distribution

ユニオン分配 (union distribution) | TypeScript入門『サバイバルTypeScript』

今回の問題