You can already generate C from Haskell using jhc compiler:<p><a href="http:&#x2F;&#x2F;repetae.net&#x2F;computer&#x2F;jhc&#x2F;" rel="nofollow">http:&#x2F;&#x2F;repetae.net&#x2F;computer&#x2F;jhc&#x2F;</a><p>It doesn&#x27;t support all the language features, though.<p>Besides their standard one, GHC also has an additional LLVM and an older, now deprecated, C backends:<p><a href="https:&#x2F;&#x2F;downloads.haskell.org&#x2F;~ghc&#x2F;7.6.3&#x2F;docs&#x2F;html&#x2F;users_guide&#x2F;code-generators.html" rel="nofollow">https:&#x2F;&#x2F;downloads.haskell.org&#x2F;~ghc&#x2F;7.6.3&#x2F;docs&#x2F;html&#x2F;users_gui...</a><p>The UHC also has a C backend, but not fully implemented,<p><a href="http:&#x2F;&#x2F;foswiki.cs.uu.nl&#x2F;foswiki&#x2F;Ehc&#x2F;UhcUserDocumentation#A_6.6.1_61C_61:_GRIN_based_C_44_with_whole_program_analysis" rel="nofollow">http:&#x2F;&#x2F;foswiki.cs.uu.nl&#x2F;foswiki&#x2F;Ehc&#x2F;UhcUserDocumentation#A_6...</a><p>Sounds a good idea, on the other hand have you ever used Frama-C? Never used it, but it seems being used in this kind of scenarios.