Да тут дело даже не в хорошем компиляторе Си. Сама структура языка Си подразумевает более мощный проц, чем 8080: рекурсия, активная работа с аргументами функций и локальными переменными через стек, отсутствие восьмибитных вычислений (все вычисления производятся в рамках типа int, а он минимум 16-битный). Всё это выглядит на 8080 очень громоздко, независимо от компилятора. Си всё-таки родился на 16-битном PDP-11, где этих проблем вообще нет.

Если всё это не смущает, тогда конечно. Хоть Оберон.

А выше я привёл два языка, которые специально спроектированы для восьмибиток.

- - - Добавлено - - -

А в чём эффективность Форта на 8080? Всё равно второй стек приходится эмулировать. Либо переключать аппаратный стек со стека возвратов на стек вычислений и обратно. Неэффективно, потеря производительности.