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

[Tom Hawkins]

> 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