いつ読むか?

  • TypeScript で Literal に型をつけたいとき
    • 文字列リテラルを扱うテクニック

読書メモ

概要

TypeScript のテンプレートリテラル型と infer を使って、文字列パターンから型を抽出するテクニック。

核心テクニック

  • テンプレートリテラル型 + infer: T extends \${infer Before}.js“ で “.js” の前の部分を型として取得
  • 再帰型: 複数のプレースホルダーを処理するために型定義内で自身を呼び出す

ユースケース

i18n の翻訳文字列 "Hello, {{name}}" から name パラメータを自動抽出し、関数引数の型として強制する。

使いどころ

  • 翻訳キーのプレースホルダー検証
  • 文字列パターンの型安全なパーサー構築
  • テンプレート文字列の引数型を自動推論したいとき