TypeScript: JavaScript エコシステム全体のための静的型付け
TypeScript は Microsoft が提供し、Google が大規模に採用し、ほとんどの最新 React、Node.js、Next.js プロジェクトがデフォルトで導入している言語です。プレーン JavaScript にコンパイルされながら、静的型システムを追加することで、実行時の前に大量のバグを検出します — API レスポンスの不一致、オプショナルフィールドへの null アクセス、関数シグネチャの誤り、その他多くの問題が対象です。このトラックは最初の型からコンパイラの内部まで TypeScript をカバーし、A1 から C2 までのすべてのレベルにわたる 106 コースで構成されています。
学習内容
string、number、boolean、unknown、never から始めて、インターフェース、型エイリアス、ユニオン型と交差型、ジェネリクス、Partial、Pick、Omit、Record などのユーティリティ型へと進みます。中級トピックには型の絞り込みと型ガード、判別ユニオン、マップ型、テンプレートリテラル型、デコレーター、Zod によるランタイム検証が含まれます。TypeScript を実際のスタックに適用します — React のプロップとフック、Express API、Node.js、Next.js、GraphQL、tRPC、型安全 ORM です。上級コースは条件付き型、infer キーワード、再帰的および自己参照型、ブランド型/名義型、可変長タプル、宣言ファイルの作成、プロジェクト参照を使用したモノレポ全体の end-to-end 型安全性をカバーします。
学習パス
106 コースは A1 から C2 まで連続的に進行します。A1 と A2 のコースは基礎を確立します: 基本型、関数、配列、タプル、列挙型、readonly、オプショナルチェーン、null 合体演算子です。B1 はクラス、モジュール、ストリクトモード、tsconfig のベストプラクティス、ジェネリクス、DOM と Fetch API の安全な操作を紹介します。B2 は制約と条件付き型を伴う高度なジェネリクス、デコレーター、Jest を使用したテスト、モノレポ設定、JavaScript からの移行へと進みます。C1 コースは再帰的型、infer キーワードと複雑な条件付き型、カスタムユーティリティ型の作成、型レベルプログラミングの基礎、型安全な国際化、高度な React パターンをカバーします。トラックは C2 で TypeScript Compiler API の内部、型レベルの演算、高階型シミュレーション、型安全パーサーの構築、TypeScript 型を使用した DSL の構築、Effect-TS で終わります。
仕組み
各コースは短く焦点を絞ったレッスンに分かれており、リアルタイムフィードバックを備えた組み込みコードエディターで完了できます。困ったときはいつでも AI チューターが利用でき、すべての概念は受動的な読書ではなく実践的な演習で即座に強化されます。