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

Tom Hawkins tomahawkins at gmail.com
Tue Sep 21 17:30:19 EDT 2010

> 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.


More information about the Haskell-Cafe mailing list