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

www.metasepi.org/doc/metasepi-icfp2015-arduino-ats.pdf

https://github.com/fpiot/msp430-ats