Есть проекты, которые реализуют компиляцию языков высокого уровня (Python, Rust, Go, JavaScript) в байткод LLVM ( по крайней мере в описании этих проектов).
LLVM байт код может компилироваться в ARM код.
Соответственно, для ARM микроконтроллеров (меня в первую очередь интересуют STM32) можно писать на удобном языке.
Сейчас уже есть микроконтроллеры STM32 c 2 МБ флеша/256 кБ RAM на борту. И всегда можно поставить внешнюю флешь и рам.
В чем проблема, почему эта цепочка до сих пор не реализована? Что с чем не стыкуется?
Update:
Вроде бы все стыкуется. Люди уже используют
sushihangover.github.io/arm-cortex-m3-bare-metal-w... Clang для Cortex-M микроконтроллеров и размер бинарного кода близок к генерируемому GCC.
Осталось решить вопросы отладки кода на языках отличных от C/C++, доступа из к регистрам процессора.
Наверное, нужна будет прослойка абстракции железа, написанная на С/С++.
Еще, видимо, рано. Нужно немного подождать.
