I rather like WebAssembly for this use-case. You don't necessarily need a new language, you need a Wasm runtime targeted at embedded devices, like WAMR [1], which even has a AOT compiled mode.

[1]: https://github.com/wasm-micro-runtime/wasm-micro-runtime