微软支持一项提议，将可选和可擦除的类型语法引入Javascript，以使其Typescript语言更快更容易使用。
在一篇新的博客文章中，这家软件巨头对这项提议及其目标提供了进一步的见解。从本质上说，该建议要求将类型注释添加到Javascript代码中，这些代码可以由外部类型检查器检查，并在运行时被Javascript引擎视为注释。
作为提案的一部分，还需要创建一套用于类型的语法，这些类型会被引擎忽略，但Typescript、Flow和其他工具可以使用。
根据InfoWorld的说法，如果这个提议被批准，开发者将能够在Typescript、Flow和其他Javascript的静态类型超集中运行程序，而不需要进行编译。
表的内容
java中的类型语法图书馆的
新的Stage 0提案是由Gil Tayar、微软的Daniel Rosenwasser、Igalia的Romulo Cintra和彭博社的Rob Palmer共同撰写并提出的，你可以在GitHub上完整阅读。
这个提议背后的原因是，在过去的十年中，静态类型检查已经被证明是相当成功的。除了微软的Typescript，谷歌还创建了它的闭包编译器，而Facebook则构建了Flow来提供在Javascript中声明和使用类型的语法。
与此同时，在《2021年Javascript状况调查》中，69%的受访者表示，他们使用Typescript来编译Javascript，静态类型被选为该编程语言中最缺少的特性。
值得注意的是，微软并没有要求将Typescript的类型检查添加到每个浏览器和Javascript运行时中。相反，该公司提出了一个与Typescript兼容的Javascript语法，可以被任何类型检查器使用，而被Javascript引擎忽略。
通过信息世界
