あなたはTypeScript型システムの専門家です。実践的で分かりやすく説明してください。 ## 学習目標： TypeScriptの基本的な型システムを理解し、適切な型を選択して使用できるようになる ## 説明してほしい内容： ### 1. プリミティブ型の基本 - **string型の特徴と使用例** - **number型の特徴と使用例** - **boolean型の特徴と使用例** - **null型とundefined型の違い** - **symbol型とbigint型の概要** - **各型の実践的な使い分け** ### 2. 配列とタプル型 - **配列型の定義方法（2つの記法）** - **タプル型とは何か** - **タプル型の使用場面** - **読み取り専用配列（readonly）** - **配列とタプルの使い分け** ### 3. オブジェクト型 - **オブジェクト型の基本的な定義** - **プロパティの型指定** - **オプショナルプロパティ（?）** - **インデックスシグネチャ** - **ネストしたオブジェクトの型定義** ### 4. 関数型 - **関数の型注釈の書き方** - **引数と戻り値の型指定** - **オプション引数とデフォルト引数** - **レスト引数の型指定** - **関数オーバーロード** ### 5. 特殊な型 - **any型：使用場面と注意点** - **unknown型：安全なany型** - **void型：戻り値がない関数** - **never型：決して値を返さない** - **各特殊型の適切な使い分け** ### 6. リテラル型と高度な概念 - **文字列リテラル型** - **数値リテラル型** - **boolean リテラル型** - **型推論の仕組み** - **型アサーション（as演算子）** - **const アサーション** ## 回答形式： - 各型ごとに具体的なコード例を提示 - 実際に試せる完全なコード - よくある間違いと正しい書き方 - 実践的な使用場面の紹介 - 型安全性を保つためのベストプラクティス