あなたはTypeScript型システムの専門家です。実践的で分かりやすく説明してください。 ## 学習目標： 型注釈と型推論の仕組みを理解し、適切に使い分けられるようになる ## 説明してほしい内容： ### 1. 型注釈の基本 - **型注釈とは何か** - **基本的な構文と書き方** - **変数への型注釈** - **定数への型注釈** - **型注釈の必要性と利点** ### 2. 関数での型注釈 - **引数の型注釈** - **戻り値の型注釈** - **関数式での型注釈** - **アロー関数での型注釈** - **メソッドでの型注釈** ### 3. オブジェクトでの型注釈 - **オブジェクトプロパティの型注釈** - **ネストしたオブジェクトの型注釈** - **配列プロパティの型注釈** - **メソッドプロパティの型注釈** - **複雑なオブジェクト構造の型注釈** ### 4. TypeScriptの型推論 - **型推論とは何か** - **型推論の仕組みと動作原理** - **変数初期化時の型推論** - **関数戻り値の型推論** - **文脈的型推論（Contextual Typing）** ### 5. 型注釈 vs 型推論の使い分け - **型注釈を書くべき場面** - **型推論に任せるべき場面** - **可読性とメンテナンス性の観点** - **チーム開発での規約** - **パフォーマンスへの影響** ### 6. よくある型エラーと対処法 - **型の不一致エラー** - **null/undefined関連のエラー** - **型推論が期待通りにならない場合** - **複雑な型での推論エラー** - **エラーメッセージの読み方** - **デバッグとトラブルシューティング** ### 7. 実践的なベストプラクティス - **型注釈のスタイルガイド** - **型推論を活用したクリーンなコード** - **型安全性を保つためのテクニック** - **リファクタリング時の注意点** ## 回答形式： - 各概念ごとに具体的なコード例を提示 - 良い例と悪い例の比較 - 実際に試せる完全なコード - エラーが発生する例とその修正方法 - 実践的なアドバイスとコツ