TypeScript是由微軟進行開發和維護的一種開源的程式語言。TypeScript是JavaScript的嚴格語法超集，提供了可選的靜態型別檢查。

TypeScript的知名開發者有C#的首席架構師兼Delphi和Turbo Pascal的創始人——安德斯·海爾斯伯格。

TypeScript是為開發大型應用程式而設計的，且可轉譯成JavaScript。由於TypeScript是JavaScript的嚴格語法超集，因此任何現有的JavaScript程式都是合法的TypeScript程式。

TypeScript支援為現存JavaScript函式庫添加型別資訊的定義檔案，方便其他程式像使用靜態型別的TypeScript實體一樣，使用現有程式庫中的值，就像是C++的標頭檔可以描述目的檔（objectfile）的結構一樣。有許多第三方標頭檔為熱門函式庫像是jQuery、MongoDB、Node.js和D3.js等提供定義檔案。

TypeScript編譯器本身也是用TypeScript編寫，並被轉譯為JavaScript，以Apache授權條款第二版釋出。