There's a more embedded/low-power device friendly language called NesC that's embedded in a (mildly popular) distro called TinyOS. https://github.com/tinyos/nesc

The compiler for TinyOS produces whole-program-optimized, statically linked binaries, which alone is worth it to me.