更安全的TypeScript -与正常的TypeScript有什么不同

Question

Microsoft提供了一个新的TypeScript编译器变体，名为 TypeScript

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

我找不到关于它的任何文档，而且我无法将它安装到我的TypeScript 1.0系统中，因为它需要TypeScript 0.9.5。

TypeScript TypeScript 和 Safer 有什么区别？

Answer 1

主要区别在于TS*提供了运行时类型检查和静态类型检查，而标准TypeScript只是一个设计和编译时特性。

这意味着调用TS*代码的普通JavaScript代码在从不受信任的代码中传递无效类型时将收到类型错误。总的思想是防止安全问题，这些问题往往是由基于未经检查的类型的攻击造成的。

更多信息可以在这里找到：

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

我还写了一个*。