TypeScript 上級と型システム

達成できること

Zod / React Query / tRPC の型設計を読解、IDE 推論可能なチーム共通型を設計

カリキュラム

• 1
  型システムのメンタルモデル

  構造的部分型、unknown vs any、never

• 2
  ジェネリクス

  制約、デフォルト、infer

• 3
  条件型

  条件型、分配挙動

• 4
  Mapped と Template Literal

  Pick/Omit/Record の仕組み、文字列型合成

• 5
  型の絞り込み

  type guard、判別共用体、satisfies

• 6
  Zod とランタイム検証

  スキーマ設計、型推論、API 境界検証

• 7
  型安全 API

  tRPC 風のクライアント/サーバ共通型

• 8
  tsconfig とモノレポ

  strict、プロジェクト参照、paths

ハイライト

• 数か月の型エラーを 1 回で解決
• 演習は実 OSS の型定義から
• 成果物：自作型安全パッケージ

担当講師

こんにちは、Morld 創業者です。本業はフルタイムエンジニア、副業はアマチュアフィットネス愛好家。プログラミング歴 10 年以上、メインスタックは JavaScript / TypeScript / React と Cloud Run / GCP、サブで C# / .NET、Docker、DevOps を扱います。 1on1 の指導方針は、まず目指す成果を確認し、そこから逆算して章立てとペースを設計します。