微软提出了TypeScript的子集, TypeScript是该公司流行JavaScript类型化超集 ,以及它的用于嵌入式计算的编译器/链接器工具链。
微软研究人员在一篇名为“静态TypeScript:一种用于TypeScript语言的静态编译器的实现”的论文中,描述了静态TypeScript系统以及在教室中实现嵌入式编程平台的挑战。 静态TypeScript被认为对于教育目的很有用,而适用于小型设备的静态编译。
使用静态TypeScript,程序可以在浏览器中编译为机器代码,并与预编译的C ++运行时链接,以生成比普遍的嵌入式解释器方法更有效的可执行文件。 电池寿命得以延长,并且仅支持16KB RAM的设备。 作为嵌入式解释器的替代方法,静态TypeScript是MakeCode Framework支持的核心语言,用于构建微控制器设备的应用程序。
静态TypeScript的功能包括:
- 将标称类型用于静态声明的类,并通过经典的V表技术支持类的有效编译。
- 离线运行的工具链,一旦加载到浏览器中,就不需要C / C ++编译器。 该工具链将静态TypeScript编译为ARM Thumb机器代码,以便与浏览器中的C ++运行时链接。
- 紧凑的机器代码的生成,适用于应用程序领域,例如针对低资源设备的游戏编程。
- 将静态TypeScript用户程序部署到嵌入式设备时,无需安装应用程序或设备驱动程序。 只需访问浏览器即可。 编译后的程序显示为下载内容,可手动传输到设备。
- 静态TypeScript运行时使用标记清除垃圾收集器。
研究人员无意扩展静态TypeScript以支持所有TypeScript。 根据用户反馈,仅添加在嵌入式上下文中有用的功能。