如果沒有明確的指定類型，那么 TypeScript 會依照類型推論（Type Inference）的規則推斷出一個類型。
什么是類型推論
以下代碼雖然沒有指定類型，但是會在編譯的時候報錯：
let myFavoriteNumber = 'seven';
myFavoriteNumber = 7;
// index.ts(2,1): error TS2322: Type 'number' is not assignable to type 'string'.
事實上，它等價于：
let myFavoriteNumber: string = 'seven';
myFavoriteNumber = 7;
// index.ts(2,1): error TS2322: Type 'number' is not assignable to type 'string'.
TypeScript 會在沒有明確的指定類型的時候推測出一個類型，這就是類型推論。
