更安全的打字稿 - 什麼是正常的打字稿的差異

Question

微軟研究院提供了一個名爲更安全的打字稿新的打字稿編譯器變種：

http://research.microsoft.com/en-us/downloads/b250c887-2b79-4413-9d7a-5a5a0c38cc57/

我找不到它的任何文件，而我無法將它安裝到我的TypeScript 1.0系統中，因爲它需要TypeScript 0.9.5。

什麼是打字稿和更安全的打字稿之間的區別是什麼？

Answer 1

主要區別在於TS *具有運行時類型檢查以及靜態類型檢查功能，而標準TypeScript只是一種設計和編譯時功能。

這意味着調用您的TS *代碼的普通JavaScript代碼在傳遞來自不可信代碼的無效類型時會收到類型錯誤。總的想法是防止通常由基於未檢查類型的攻擊導致的安全問題。

更多信息可以在這裏找到：

http://research.microsoft.com/en-us/um/people/nswamy/papers/gradual-typing-embedded-securely-in-javascript-draft.pdf

我也寫一個slightly less detailed summery of TS*。