[Haskell-cafe] Which Haskell DSL for writing C? (Was ANN: Copilot
0.22 -- A stream DSL for writing embedded C.)
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?
We are using ImProve for some safety critical code on a hydraulic
hybrid shuttle bus.
More information about the Haskell-Cafe