更安全的TypeScript - 与普通TypeScript有什么不同

Question

Microsoft Research提供了一种名为Safer TypeScript的新TypeScript编译器变体:

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

我找不到任何文档,我无法将其安装到我的TypeScript 1.0系统中,因为它需要TypeScript 0.9.5.

TypeScript和Safer TypeScript有什么区别？

Answer 1

主要区别在于 TS* 具有运行时类型检查和静态类型检查，而标准 TypeScript 仅是设计和编译时功能。

这意味着调用 TS* 代码的纯 JavaScript 代码在从不受信任的代码传递无效类型时将收到类型错误。总的想法是防止通常由基于未经检查的类型的攻击引起的安全问题。

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

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

我还写了一份不太详细的 TS* 总结。