Usando Haskell para sistemas de tempo real consideráveis: como (se?)?

Fiquei curioso para entender se é possível aplicar o poder de Haskell ao mundo realtime incorporado, e no googling ter encontrado oÁtomo pacote. Eu suponho que no caso complexo o código pode ter todos os bugs clássicos do C - falhas, corrupções de memória, etc, que precisariam ser rastreados até o código Haskell original que os causou. Então, essa é a primeira parte da pergunta: "Se você teve a experiência com o Atom, como você lidou com a tarefa de depurar os bugs de baixo nível no código C compilado e corrigi-los no código original do Haskell?"

Eu procurei por mais alguns exemplos para o Atom,este post de blog menciona o código C resultante 22KLOC (e obviamente nenhum código :), oexemplo incluído é um brinquedo.este eisto referências têm um código um pouco mais prático, mas é aí que isso termina. E a razão pela qual eu coloquei "considerável" no assunto é, estou mais interessado se você puder compartilhar suas experiências de trabalhar com o código C gerado no intervalo de 300KLOC +.

Como eu sou um novato em Haskell, obviamente pode haver outras maneiras que eu não encontrei devido a minhas incógnitas desconhecidas, então quaisquer outros indicadores para auto-educação nesta área seriam muito apreciados - e esta é a segunda parte da questão - "o que seriam alguns outros métodos práticos (se) de fazer desenvolvimento em tempo real em Haskell?" Se o multicore também estiver na foto, isso é mais uma vantagem :-)

(Sobre o uso do próprio Haskell para este propósito: pelo que li emeste post de blog, a coleta de lixo e a preguiça em Haskell o tornam um tanto quanto não-determinístico, mas talvez em dois anos algo tenha mudado.Programação Haskell do mundo real pergunta sobre SO foi o mais próximo que pude encontrar para este tópico)

Nota: "tempo real" acima seria mais próximo de "hard realtime" - Estou curioso para saber se o tempo de pausa quando a tarefa principal não está em execução está abaixo de 0.5ms.

questionAnswers(5)

yourAnswerToTheQuestion