Modern Haskell → C translation approaches?

You might also want to look at NASA’s copilot which is a DSL embedded in Haskell which compiles to C99. Depends on your project domain of course. > The C99 backend ensures us that the output is constant in memory and time, making it suitable for systems with hard realtime requirements.