マスター

TypeScript · エキスパート - 設計、内部構造、エッジケース

• 条件型と infer: コンパイラのロジック条件型の分配則、infer によるパターンマッチング、そして never・any・boolean といった特殊ケースを使いこなす。
• マップ型とキーの再マッピング: 型を変換する準同型なマップ型がどのように修飾子を保持するか、そして as 節がどのようにキーを名前変更・フィルタリングするかを理解する。
• テンプレートリテラル型: コンパイル時に計算される文字列テンプレートリテラル型を活用して直積によってユニオンを生成し、infer で文字列リテラルを解析する。
• オーバーロード、型付き this、そして変性オーバーロードの解決、this 擬似引数、そして関数の代入可能性を支配する変性の規則を理解する。
• 実運用パターン: ブランド型、satisfies、そして .d.ts実際のコードベースを堅牢にするエキスパートのパターンを適用する: 疑似的な名前的型付け、拡大なしの検証、そしてアンビエント宣言。