TypeScript的強型別特性，偶爾在程式中需使用到型別轉換，值得注意的是，由於TypeScript最終必須轉換為JavaScript，而JavaScript本身為弱型別語言，所以這裡指的型別轉換為TypeScript環境下撰寫程式時的處理。TypeScript中的型別轉換本身對於JavaScript結果是沒有影響的，既使轉換是錯誤的。
TypeScript中擴充了JavaScript中沒有的enum功能，使得可以像C#的語言可以對特定的值，定義適當的名稱。
前篇中提及TypeScript在變數型別宣告中，可以指定變數類型，讓程式設計過程中使用強型別的特性，減少開發過程中的錯誤。
想當然，除了在變數上，在函數、方法也是可以定義參數的型別的。
TypeScript中包含了boolean、number、string、tuple、enum、any......等。
上述中已經有部分的類型已經存在於JavaScript中，故本篇就不再說明其意義以及與JavaScirpt無差別的部分。
在ES6中支援Promise，解決了callback hell的問題，而在TypeScript中則支援async/await語法糖，可以更加簡化Promise的使用，提高程式碼的可讀性。而TypeScript中await的實作方式在本篇則不加詳述。
本範例則是透過上述的功能實現一個簡易的Sleep方法。