Tengo curiosidad por comprender si es posible aplicar el poder de Haskell al mundo en tiempo real integrado, y en Google he encontrado elÁtomo paquete. Asumiría que, en el caso complejo, el código podría tener todos los errores C clásicos: bloqueos, daños en la memoria, etc., que luego tendrían que rastrearse hasta el código original de Haskell que los causó. Entonces, esta es la primera parte de la pregunta: "Si tuvo la experiencia con Atom, ¿cómo lidió con la tarea de depurar los errores de bajo nivel en el código C compilado y corregirlos en el código original de Haskell?"

Busqué algunos ejemplos más para Atom,esta entrada de blog menciona el código C resultante 22KLOC (y obviamente ningún código :), elejemplo incluido es un jugueteEsta yesta Las referencias tienen un código un poco más práctico, pero aquí es donde esto termina. Y la razón por la que pongo "considerable" en el tema es que estoy más interesado si puede compartir sus experiencias de trabajo con el código C generado en el rango de 300KLOC +.

Como soy un novato en Haskell, obviamente puede haber otras formas que no encontré debido a mis incógnitas desconocidas, por lo que cualquier otra sugerencia para la autoeducación en esta área sería muy apreciada, y esta es la segunda parte de la pregunta. "¿Cuáles serían algunos otros métodos prácticos (si) de hacer un desarrollo en tiempo real en Haskell?". Si el multinúcleo también está en la imagen, eso es una ventaja adicional :-)

(Sobre el uso de Haskell para este propósito: de lo que leí enesta entrada de blog, la recolección de basura y la pereza en Haskell hacen que sea un horario no determinista, pero tal vez en dos años algo haya cambiado.Programación Haskell del mundo real La pregunta sobre SO fue lo más cercano que pude encontrar a este tema)

Nota: El "tiempo real" que se muestra arriba está más cerca del "tiempo real difícil". Tengo curiosidad por saber si es posible garantizar que el tiempo de pausa cuando la tarea principal no se está ejecutando sea inferior a 0,5 ms.