TypeScript

JavaScript に安全網を

TypeScript は JavaScript に強力な型システムを追加します。バグを減らし、ツールを改善し、リファクタリングをストレスなく行えます。基本的な型注釈からジェネリクス、絞り込み、高度なユーティリティ型まで学びます。

基礎

初級 - 基本を一歩ずつ

• なぜTypeScriptなのか、最初の型付きファイルTypeScriptとは何か、それが解決する問題を知り、初めての型付きファイルを書いてみましょう。
• プリミティブ型、配列、そして単純なユニオン3つの基本型、配列に型を付ける方法、そして型のユニオンを作る方法を学びましょう。
• オブジェクトとインターフェースオブジェクトの形を正確な型で記述し、それからインターフェースで再利用可能にしましょう。
• 関数に型を付ける: パラメーター、戻り値、省略可能な引数パラメーター、戻り値、省略可能なパラメーターに型を付けて、関数をより安全にしましょう。
• 推論、any、そして unknown推論でTypeScriptに型を割り出させ、なぜ unknown が危険な any より優れているのかを理解しましょう。

ステップアップ

中級 - 実践的なものを作る

• type と interface: extends と交差型コードを重複させずにオブジェクト型をモデル化し合成するために、適切な構文を選びましょう。
• リテラル型と判別可能なユニオンコンパイラが代わりにチェックしてくれるユニオンで、アプリケーションの状態をモデル化しましょう。
• Enum と const アサーション: 現代的な代替手段enum の限界を理解し、as const で凍結した定数から型を導出しましょう。
• ジェネリクス: シンプルなジェネリック関数と型呼び出しのたびに完全な型の精度を保つ、再利用可能な関数と型を書きましょう。
• 現実のコードに型を付ける: DOM、fetch、JSONDOM、ネットワーク、JSON がコンパイラの目を逃れる、アプリケーションの境界で信頼できる型を保ちましょう。

応用

上級 - 高度なパターンとパフォーマンス

• Narrowing: typeof、in、instanceof、そして型ガード型の絞り込み（narrowing）の仕組みを習得し、独自の述語を書いてユニオンをより信頼できるものにします。
• 高度なジェネリクス: 制約とデフォルトextends で型パラメータを制約し、デフォルトを提供して、扱いやすいジェネリック API を構築します。
• ユーティリティ型: Partial、Pick、Omit、Record、ReturnType組み込みのユーティリティで単一のソースから型を派生させ、重複とそれが引き起こすズレをなくします。
• never、網羅性、そして高度な判別可能ユニオン判別可能ユニオンで状態をモデル化し、never 型でその網羅性を固定します。
• 厳格な tsconfig: 重要なオプションとよくあるエラーstrict モードが実際に何を有効にするのかを理解し、既存プロジェクトでそれが明らかにする典型的なエラーへの対処方法を知ります。

マスター

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

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