Re: [Haskell-cafe] Which Haskell DSL for writing C? (Was ANN: Copilot 0.22 -- A stream DSL for writing embedded C.)

Oh, one thing I should mention is that there are a few Haskell DSLs for generating embedded C now:

 * Atom http://hackage.haskell.org/package/atom  * Feldspar http://hackage.haskell.org/package/feldspar-language  * cmonad http://hackage.haskell.org/package/cmonad  * Copilot http://hackage.haskell.org/package/copilot  * Others?

ImProve http://hackage.haskell.org/package/improve We are using ImProve for some safety critical code on a hydraulic hybrid shuttle bus. -Tom