Галуасцы разработали (на деньги NASA, вроде) DSL Copilot для Хаскелла, предназначенный для программирования встраиваемых устройств, типа всяких беспилотников. Текст с Copilot переводится на Си, который, соответственно, затем можно скомпилировать имеющимся в компилятором Си.

http://leepike.github.com/Copilot/
http://www.galois.com/blog/2010/09/22/c ... d-systems/
http://hackage.haskell.org/package/copilot