BFE.devでのAI解答例 - TypeScript タイプパズル
55. implement StringToNumber<S>

解答例:

type StringToNumber<S extends string> = S extends `${infer T}${infer U}` 
  ? (T extends keyof NumbersMap 
    ? NumbersMap[T] extends never 
      ? never 
      : `${NumbersMap[T]}${StringToNumber<U>}` 
    : never) 
  : 0;

interface NumbersMap {
  '0': 0;
  '1': 1;
  '2': 2;
  '3': 3;
  '4': 4;
  '5': 5;
  '6': 6;
  '7': 7;
  '8': 8;
  '9': 9;
}

この問題には、物事を解決するのに十分な知識とスキルがあれば、簡単に解決できるシンプルで興味深い解答があります。

最初に、型引数Sを非汎用文字列型に制限します。このようにしない場合、型引数Sはあらゆる種類の文字列値を渡すことができます。私たちは、この問題においては「整数のみ」を処理すると想定しています。これにより、関数の振る舞いを制限し、予期しない結果を返さないようにできるためです。

type StringToNumber<S extends string>

変換関数では、文字列を数値に変換する必要があります。この変換を行い、数値文字列から最初の値を取得する方法を以下で説明します。

type A = '123';
type T = A extends `${infer First}${infer Rest}` ? First : never; // '1'
type U = A extends `${infer First}${infer Rest}` ? Rest : never; // '23'

変換関数は、入力した文字列を連結して変換するために再帰的なアルゴリズムを用います。私たちは最初に、Sが最初の値Firstと残りの文字列Restに分割されたかどうかを確認します。

S extends `${infer First}${infer Rest}`

この条件式は、型推論によってFirstおよびRestを抽出します。

最初の値Firstを結果に追加する前に、文字列FirstがNumbersMapに定義されているかどうかをチェックする必要があります。もし存在しない場合、トップレベルの変換関数に何らかの不良のある入力値が指定されたと判断し、TypeScriptにneverを返すよう指示します。

T extends keyof NumbersMap
  ? NumbersMap[T] extends never 
    ? never 
    : `${NumbersMap[T]}${StringToNumber<U>}`
  : never

これにより、再帰呼び出しが行われ、残りの文字列Restに対して型引数を再帰的に適用することができます。このように、各ダイジェストの呼び出しが、最終ダイジェストへと続く再帰の鎖となります。

最後に、再帰が終了すると、数値文字列が完成し、それが最初に呼び出された文字列を型化している必要があります。最終的な答えが数値として期待されるため、型式も数値（0）です。

: 0;

これで完全な回答が出来上がりました！