Can you summarize the following document?
        
  經過微軟兩年的內部開發後,TypeScript於2012年10月首次釋出0.8版本。 在釋出後不久, Miguel de Icaza 認可了這門語言,但批評了其糟糕的IDE支援性,僅有 Microsoft Visual Studio IDE支援其程式碼,但此IDE當時未在Linux和OS X作業系統上釋出。 如今,在其他IDE中(例如 Eclipse), 通過 Palantir Technologies 提供的外掛支援,能支援TypeScript語法。 大部分主流的文字編輯器,例如 Emacs, Vim, Webstorm, Atom 和微軟釋出的 Visual Studio Code 也能支援TypeScript語法.  2013年釋出的TypeScript 0.9增加了對泛型的支援。 TypeScript 1.0在2014年的微軟開發者大會上釋出。 Visual Studio 2013 Update 2 為TypeScript提供了原生支援。  2014年7月,開發團隊釋出了新的TypeScript編輯器,聲稱其效能提高了5倍。同時,程式碼託管由 CodePlex 遷移至 GitHub。  2016年9月22日,TypeScript 2.0釋出,其中引入了幾個功能,例如開發者可以選擇不為變數分配空值 等。  2018年7月30日,TypeScript 3.0釋出,其中包含許多新功能,例如剩餘引數,展開語法,帶有元組的剩餘引數,帶有通用型別的剩餘引數等。

  TypeScript是一種給JavaScript新增特性的語言擴充套件。增加的功能包括:  以下功能是從ECMA 2015反向移植而來:  在語法上,TypeScript很類似JScript.NET,它是另外一個微軟對ECMA-262語言標準的實現,新增了對靜態型別、經典的面嚮物件語言特性(如類、繼承、介面和名稱空間等)的支援。

  TypeScript通過型別批註提供在編譯時啟動型別檢查的靜態型別。這是可選的,而且可以忽略而使用JavaScript常規的動態型別。  對於基本型別的批註是codice_1、codice_2和codice_3。而弱或動態型別的結構則是codice_4型別。  型別批註可以被匯出到一個單獨的“宣告檔案”,以讓使用型別已被編譯為JavaScript的TypeScript指令碼中的型別資訊仍可用。批註可以為一個現有的JavaScript庫宣告,就像已經為Node.js和jQuery所做的那樣。  當型別沒有給出時,TypeScript編譯器利用型別推斷來推斷型別。如果由於缺乏宣告而不能推斷出型別,那麼它的型別被視作預設的動態codice_4型別。

  當一個TypeScript指令碼被編譯時,有一個產生作為編譯後的JavaScript的元件的一個介面而起作用的宣告檔案(具有副檔名.d.ts)的選項。在這個過程中編譯器基本上帶走所有的函式和方法體而僅保留所匯出型別的批註。當第三方開發者從TypeScript中使用它時,由此產生的宣告檔案就可以被用於描述一個JavaScript庫或模組匯出的虛擬的TypeScript型別。  宣告檔案的概念類似於C/C++中標頭檔案的概念。  型別宣告檔案可以為已存在的JavaScript庫手寫,就像為jQuery和Node.js所做的那樣。

  TypeScript增加了對為即將到來的ECMAScript 6標準所建議的特性的支援。  如下為其構想: 儘管標準還未準備就緒,Microsoft說它的目標是使TypeScript的特性與建議的標準看齊。

  TypeScript支援整合了可選的型別批註支援的ECMAScript 6的類。

  這種語言的規範說明一個未來的版本將會支援基於型別擦除的泛型程式設計。

  TypeScript是JavaScript的一個超集。預設情況下編譯器以ECMAScript 3(ES3)為目標但ES5也是受支援的一個選項。一個TypeScript應用可以利用已存在的JavaScript指令碼。編譯後的TypeScript指令碼也可以在JavaScript中使用。  現有框架如jQuery和Node.js等受到完全支援。這些庫的型別宣告在原始碼中提供。

  執行於任何平臺上的任何網頁瀏覽器都可以執行TypeScript:由於它僅僅是被編譯為標準的JavaScript,一個指令碼既可以被預編譯為JavaScript,也可以通過為TypeScript包含JavaScript編譯器實時編譯。

  

  TypeScript 編譯器,叫做codice_6,本身也是用 TypeScript 寫成的。可以將 TypeScript 編譯為可以在任何 JavaScript 引擎(如瀏覽器)中執行的標準 JavaScript。編譯器包也包含了指令碼直譯器,用來執行編譯器。同時也有個 Node.js 包,在 Node.js 平臺執行。  另外還有一個用JavaScript寫的alpha版本的客戶端編譯器,它在頁面載入時,實時執行 TypeScript 程式碼。  這種編譯器的當前版本預設支援 ECMAScript 5。一個選項是允許以 ECMAScript 2015 為目標,以利用該版本獨有的語言特性(比如生成器)。類儘管是 ECMAScript 2015 標準的一部分,在這兩個模式下都可以使用。

  TypeScript是開源的,其原始碼可以在Apache 2 License下從Github獲得。這個專案由Microsoft維護,但是任何人可以通過在Github專案頁傳送反饋、提出建議和提交bugfixes而做出貢獻。  已有一些批評提到,TypeScript鼓勵強型別,當前只有Microsoft Visual Studio支援在該語言上方便開發。最初的方案是在其它的編輯器上帶來強型別,IntelliSense, 程式碼完成和程式碼重構的功能,但這可能不是一個簡單的任務。此外,支援TypeScript開發的Visual Studio擴充套件不是開源的。最好的TypeScript開發體驗是在Microsoft Windows上,然而隨著時間的流逝以及這種語言的開放性,加之編譯器自我託管,而且用TypeScript自身寫的,這很有可能會改變。通過編譯器的原始碼訪問到AST(抽象句法樹)以及詳細的語言規範文件,社群已開始構建一個跨平臺的編輯器,利用和Visual Studio所用到的相同的語言服務以提供一個增強的編輯體驗。編輯器仍然在概念檢驗的階段,但已經執行於Linux, OSX和Windows,提供功能強度相同的IntelliSense,程式碼完成和句法高亮方法。
英語:TypeScript是一種開源的程式語言,該語言專案由微軟進行維護和管理。TypeScript不僅包含JavaScript的語法,而且還提供了靜態型別檢查以及使用看起來像類別為基的物件導向程式設計語法操作 Prototype。C#的首席架構師以及Delphi和Turbo Pascal的創始人安德斯·海爾斯伯格參與了TypeScript的開發。