As anyone tried it for embedded code on microcontrollers ?

It looks usable for soft realtime, almost keeping speed and control of C and adding ease (and fun) of coding.

GC is tunable and there are compilation options for embedded systems (http://nimrod-code.org/nimrodc.html#nimrod-for-embedded-syst...).