The BBC micro:bit is a small micro-computer that will be handed out to a million kids in the UK to teach them programming. The students program the device using TouchDevelop, a web-based programming portal, featuring TouchDevelop-the-language, a statically-typed, JavaScript-inspired scripting language. The blessed toolchain for ARM Cortex-M0s, however, is C++. This talk will describe how we compile TouchDevelop to C++; more specifically, how we use C++11's features to make sure we do as little work as possible and let the C++ compiler handle most of it!
