この解答例はChatGPTによって生成されています,正しいかは自己判断で。

BFE.devでのAI解答例 - TypeScript タイプパズル
7. Exclude<T, E>を実装する

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

説明:

  • MyExclude<T, K>の型定義で、条件型を使ってTKに代入可能であるかどうかを判定する
  • もしTKに代入可能である場合、neverを返す
  • そうでない場合、Tをそのまま返す