In a similar vein there is ATS - which already compiles to C. And you can in theory write controller code in ATS if you want those functional features and more

In a similar vein there is ATS - which already compiles to C. And you can in theory write controller code in ATS if you want those functional features and more ex: (this guy has done examples on a ton of boards!) https://github.com/fpiot https://github.com/fpiot www.metasepi.org/doc/metasepi-icfp2015-arduino-ats.pdf https://github.com/fpiot/msp430-ats https://github.com/fpiot/msp430-ats