Непрерывно поражают идиотские попытки привязать какие-то языки к микроконтроллерам. Если у нас есть телега, то в нее надо впрягать лошадь (или верблюда), но никак не паровоз, самолет, кошку и т.д. Есть куча языков, красивых и не очень, для разных целей, и что, ставить их всех на МК? Мне вот например нравились APL, Prolog и т.д., но у меня и мысли не возникало ставить их на МК. Язык МК должен ориентироваться на специфику применений и должен совмещать в себе скорость и компактность ассемблера, легкость записи MathCAD, многозадачность+ реальное время и т.д. Такого языка пока нет :(( В теории я бы представил этот язык комбинацией ASM + MathCAD + Prolog + Basic + еще что-то...