TypeScript入門 — 型システムの基礎

TypeScriptがJavaScriptに何を加えるのか、なぜ型があると嬉しいのかを、導入前後の比較とともに整理します。

TypeScriptの型注釈の書き方を、プリミティブ型・配列・オブジェクト・関数の基本から整理します。型推論がどこまでやってくれるかも確認します。

typeとinterfaceの使い方、違い、どちらを使うべきかの判断基準を整理します。交差型（&）や拡張（extends）も扱います。

複数の型を許容するユニオン型と、特定の値だけを許容するリテラル型の仕組みを、実践的なパターンで学びます。

ユニオン型を安全に扱うための型の絞り込み手法を、typeof・instanceof・in・判別可能なユニオン・網羅性チェックまで整理します。

関数の型付けパターンを整理します。オプショナル引数、デフォルト値、レストパラメータ、オーバーロード、コールバック関数の型まで。

型を引数として受け取る仕組み「ジェネリクス」を、そもそもの疑問から実践パターンまで網羅的に学びます。

asによる型アサーション、ユーザー定義型ガード（is）、非nullアサーション（!）の使い方と注意点を整理します。

TypeScript組み込みのユーティリティ型を、実務でよく使うものに絞って使い方と内部の仕組みを解説します。

TypeScriptのモジュールシステム、型のインポート（import type）、再エクスポートなどを整理します。

TypeScriptプロジェクトの設定ファイルtsconfig.jsonの主要オプションを、「なぜその設定が必要か」の観点で整理します。

JavaScriptライブラリの型定義ファイルの仕組み、DefinitelyTyped（@types）の使い方、自分で型定義を書く場面を整理します。

ReactコンポーネントをTypeScriptで書くときの型付けパターンを、Props・children・Hooks・イベントハンドラごとに整理します。

実務で繰り返し出てくるTypeScriptの型パターンを、逆引きリファレンスとして整理します。随時追加していきます。