BFE.devでのAI解答例 - TypeScript タイプパズル
58. implement Diff<A, B>

type DiffKeys<A, B> = Exclude<keyof A, keyof B> | Exclude<keyof B, keyof A>;

Exclude<keyof A, keyof B> は、A のキーのうち、B には存在しないキーを取得するための型演算です。同様に、Exclude<keyof B, keyof A> は、B のキーのうち、A には存在しないキーを取得するための型演算です。両方を合わせることで、A にしか存在しないキーと、B にしか存在しないキーを取得することができます。最終的に、| 演算子で結合しています。