TypeScript - Type
學習資源：
Type Inferences 型別推論
在 JavaScript 中我們可以對變數進行任意賦值，這樣的方式很彈性也可以很快地 coding。但也因為如此的彈性，才會造成許多意外的 bug。
所以在 TypeScript 中，我們首先會發現的是，當你賦值給一個變數後，你將沒辦法再賦值其他型別的值給這個變數。這是型別推論中的一個例子，TypeScript 會希望變數的型別跟最一開始被賦值的型別要一樣。
TypeScript 可以識別 JavaScript 的 primitive 型別：
- boolean
- number
- null
- string
- undefined
若我們嘗試對一個變數重新賦值一個不同的型別，TypeScript 會顯示錯誤。
let order = 'first';
order = 1;
當執行以上的程式碼，TypeScript 會顯示下列的錯誤：
Type 'number' is not assignable to type 'string'.
也就是 TypeScript 的型別系統告訴我們說，他會希望 order 的型別要跟一開始一樣是 string 才可以，要不然就會顯示錯誤。
而只要我們也把重新賦值的值也改成string 就可以解決了。
let order = 'first';
order = '1';
Type Shapes
因為 TypeScript 已經知道我們變數的型別，他也會知道這個變數會包含哪一些屬性或方法。
這點在 JavaScript 中的內建型別都存在已知的屬性和方法。例如，已知所有字串都具有 .length 屬性和 .toLowerCase() 方法。
"OH".length; // 2
"MY".toLowerCase(); // "my"
所以當你引用錯誤的方法時，TypeScript 就會提醒你可能錯了。
"MY".toLowercase();
// Property 'toLowercase' does not exist on type '"MY"'.
// Did you mean 'toLowerCase'?
Any 型別
在一些地方，TypeScript不會試圖推斷某變數是什麼型別——這種情況通常是在沒有 assign 初始值的情況下宣告變數。 在無法推斷型別的情況下，TypeScript 會考慮將變數設為 any 型別。
型別 any 的變數可以 assign 給任何值，如果稍後重新 assign 給其他型別，TypeScript 也不會給出錯誤。
let onOrOff;
onOrOff = 1;
onOrOff = false;
Variable Type Annotations 型別註釋
在某些情況下，我們希望宣告一個沒有初始值的變數，同時仍然確保它在未來會被 assign 到某種型別的值。 如果只用 any 型別，TypeScript 將無法起到監督 assign 變數的作用。
所以我們可以透過使用型別註釋來告訴TypeScript某變數是什麼型別或將是什麼型別。
變數可以在名稱後面新增型別註釋（也稱為型別宣告）。透過加上帶有冒號（:）和型別（例如數字、字串或任何）的變數來做型別註釋。
let mustBeAString : string;
mustBeAString = 'Catdog';
mustBeAString = 1337;
// Error: Type 'number' is not assignable to type 'string'
在上面的程式中，我們明確宣告 mustBeAString 為 string 型別，而不給它 assign 初始值。 這使我們能夠 assign 值 “Catdog”，但當我們後來嘗試給它分配一個 number 時，TypeScript 會給我們一個錯誤訊息，告訴我們 number 被錯誤地分配給 string 型別的變數。
型別註釋的語法在編譯到JavaScript時，它們會自動被刪除。