基本的な型

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