While the programming of microcontroller-based embeddable devices typically is the realm of the C language, such devices are now finding their way into the classroom for CS education, even at the level of middle school. As a result, the use of scripting languages (such as JavaScript and Python) for microcontrollers is on the rise. We present Static TypeScript (STS), a subset of TypeScript (itself,
![Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language - Microsoft Research](https://cdn-ak-scissors.b.st-hatena.com/image/square/785af067ea0ae941e85f9c4fdb5e7c5662894e02/height=288;version=1;width=512/https%3A%2F%2Fwww.microsoft.com%2Fen-us%2Fresearch%2Fuploads%2Fprod%2F2018%2F11%2FAutomated_Hero_Image_MSR_Social_11_2018_1200x627.png)