That's a virtual machine specifically designed for this kind of thing. So sure, if you want to use go syntax and build a completely new runtime designed for us

That's a virtual machine specifically designed for this kind of thing. So sure, if you want to use go syntax and build a completely new runtime designed for use in real time systems then go ahead. As for strong typing in embedded scenarios Ada's been doing that for decades.