With Static TypeScript, a program is compiled to machine code in the browser and linked against a precompiled C++ runtime to produce an executable that is more efficient than the prevalent embedded interpreter approach. Battery life is extended and devices with as little as 16KB of RAM can be supported. An alternative to embedded interpreters, Static TypeScript is the core language supported by the MakeCode Framework used to build applications for microcontroller devices.

Features of Static TypeScript include:

Use of nominal typing for statically declared classes and support for efficient compilation of classes via classic techniques for v-tables.

A toolchain that runs offline, once loaded into a browser, with no need for a C/C++ compiler. The toolchain compiles Static TypeScript to ARM Thumb machine code, for linkage against the C++ runtime in the browser.

Generation of compact machine code, suitable for application domains such as game programming for low-resource devices.

No need for app or device driver installation when deploying Static TypeScript user programs to embedded devices. Access to a browser is all that is necessary. Compiled programs appear as downloads, to be transferred manually to a device.