型推論の実践

変数を値で初期化すると、TypeScriptはその値を調べて、適切な型を自動的に割り当てます：

let message = "Hello, World!";  // TypeScriptの推論: string
let count = 42;                 // TypeScriptの推論: number
let isActive = true;            // TypeScriptの推論: boolean

この型推論は、明示的なアノテーションと同じ型安全性を提供しながら、よりクリーンで読みやすいコードを実現します。これらの変数に互換性のない値を再代入しようとすると、TypeScriptは引き続き型エラーを検出します。

型推論は、TypeScriptが代入の瞬間に初期値を分析することで機能します。文字列の値は、その変数がstring型であるべきであることをTypeScriptに伝え、数値はnumber型であることを示す、といった具合です。