Чем именно Си так хорош в нашей области? 1) Си достаточно низкоуровневый, чтобы программы на нём были быстры, предсказуемы;
2) Си достаточно высокоуровневый, чтобы можно было на нём решать задачу. [за приемлемые сроки: Си vs ASM]
3.1) распространён
3.2) есть компиляторы
По 3.2: Я не помню такого, чтобы производитель МК сказал: "смотрите, а мы ещё компилятор Nim/eC/Oberon/BASIC можем вам предложить!" Компиляторы зачастую пишут сторонние конторы. С другой стороны - вот любопытная контора: Си, Бейсик, Паскаль для нескольких платформ, плюс библиотеки. Но по качеству кодогенерации у них не скажу ничего, может из местных кто пользовался.
В идеале, было бы с языком средство, которое по формальному описанию системы команд и периферии само генерировало компилятор языка для целевой платформы. Да, вы уже высказывали такю мысль. Но с такой "серебрянной пулей" два момента: 1) стандарт описания вот-этого-вот-всего; 2)кто вложится в создание такого средства? И самое главное - зачем? Как на этом заработать не конечному потребителю МК?
[UPD] Вспомнил, где видел подобный конструктор: Microsemi, SmartFusion2: ARM ядро + FPGA. Конечно, система команд и архитектура ядра не меняется, но периферия именно та, которая вам нужна (и которую вы разработать должны). Периферия вешается на шину, по её описанию генерятся *.h файлы; компилятор производитель предоставляет. В общем, не совсем то, но идея используется.