TypeScriptTypeScriptのTemplate Literal Typesを例で学ぶ
Template Literal Typesでキー名を生成し、ルートパラメータをパースして型安全なイベントエミッターを書く。Viestでの型テスト、落とし穴も含めて解説します。
TypeScriptの厳密モード: 何が有効になるのか
tsconfigのstrictフラグが何をチェックするか、各チェックが何の型エラーを検出するか、strictの外に有効にすべきフラグ、そして既存プロジェクトをstrictに移行する方法。
keyof、typeof、TypeScript の indexed access types
keyof、typeof、indexed access types を使用して既存データから型を推論し、コードの重複を削減し、コンパイラーに代わりに間違ったキーを検出させます。
TypeScriptライブラリにtype declarationを作成する
TypeScriptライブラリが.d.tsファイルを正規に生成し、ユーザーに完全な型を提供し、Vitestでテストできるようにtsconfigとpackage.jsonを設定する方法
TypeScriptの非同期関数とPromiseの型付け
async関数、Promise<T>、Awaited、Promise.all、型安全なエラーハンドリング、async/callbackでの落とし穴の回避方法を解説します。
TypeScriptでEnumかUnion String Literalか?
TypeScriptのEnumとUnion String Literalを、ランタイム、型安全性、ツーリングの観点から比較し、`as const`パターンと各状況での選択基準を解説。
TypeScriptのZodで実行時データを検証する
ZodでAPIやフォーム、環境変数のランタイムデータを検証し、同じスキーマからTypeScriptの型を推論します。
Mapped types と TypeScript の条件付き型
既存の型から自動的に型を生成するために、mapped types と条件付き型を使用します。infer、キーの再マッピング、型テスト、および一般的なエラーが含まれます。
TypeScriptのtype guardとassertion function
type guard (x is T)とassertion function (asserts x is T)を使って安全に型を絞り込み、unknownデータをチェックし、よくある落とし穴を避ける方法。
TypeScriptの新規プロジェクトのためのtsconfig設定
新規TypeScriptプロジェクト用のtsconfig.jsonの設定ガイド。strict mode、NodeNextモジュール、build/testの設定分離、よくあるエラーを含みます。
TypeScript の Discriminated Union を使った State と API Response モデリング
Discriminated union を使用してstate と API response をモデル化し、コンパイラが無効な状態をブロックし、すべてのケースの処理を強制するようにします。
TypeScript の unknown、any、never：どれを使うか
TypeScript の any、unknown、never を具体例で区別する：いつ使う、いつ避ける、exhaustive チェックの方法
TypeScript のユーティリティ型: Partial, Pick, Omit, Record
Partial、Pick、Omit、Record を使用して型を再利用し、TypeScript の interface の重複を減らす方法を学びます。
TypeScriptのUnion、Intersection、Narrowing
unionとintersectionを使ってデータ型を組み合わせ、TypeScriptで型を絞る(narrowing)ことで、安全でランタイムエラーが少ないコードを書く方法を学びましょう。
実践的なTypeScript Genericsの例
Repository、ApiResponseなどの実例を通じてTypeScript genericsを理解する — 机上の空論ではなく、実行可能なコードとテストで具体的に学びます。