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

type Subtract<A extends number, B extends number> =   // Check if A and B are 0 or B is larger than A,  // which means it's impossible to subtract B from A.  (A extends 0 ? 0 : (B extends 0 ? A : never))  // If A and B are not 0 and B is smaller or equal to A,  // recursively subtract 1 until A becomes 0  // (subtracting 1 from A is equivalent to adding -1 to A).  extends infer U ? U extends never ? never :    U extends 0 ? 0 :      Subtract<Exclude<A, U>,-1> : never;

TypeScript Playgroundで確認する

説明：

この実装では、ジェネリック型AとBが受け入れるのはnumberだけです。アウトプット型は、同じくnumberですが、AからBを引いた差を表します。

まず、Bが0か、Aが0の場合は差は0、それ以外の場合は「never」型を返します。つまり、BがA以上の場合は差が負数になるため、算出が不可能であると判断しています。

次に、再帰的な呼び出しを行います。AとBが両方とも0以外で、かつBがAより小さい場合は、Exclude<A, U>を引数に取り、-1を加えて再帰的に処理を続けます（Exclude<A, U>は、Aから再帰的に引いていくということ）。最後に、差が0であれば0を、それ以外の場合は再び上記の処理を続けます。これを、再帰が終了するまで繰り返します。