Я считаю, что ряд языков, по крайней мере в зачаточном состоянии, просто «компилируются» в код на C, позволяя хорошему компилятору (часто gcc ...) генерировать оптимизированный нативный код. Я думаю, GHC является (для некоторых реализаций?) Таким языком, и есть некоторые другие, которые я не помню.
Я знаю также lua2c, конвертирующий код Lua в C.