[Haskell-cafe] Producing fortran/C code with haskell?

[Derek Elkins]

On Fri, 30 Jan 2004 19:32:53 +0100
Vincenzo aka Nick Name <vincenzo_mlRE.MOVE at yahoo.it> wrote:

> I seem to recall a discussion, don't know if it was here or on 
> comp.lang.functional, where somebody said he uses haskell to generate 
> fortran code.
> 
> That fascinated me a lot, because that would mean being able to
> generate a program already specialized for a specific input, by first
> reading input in haskell and then producing code (fortran, but could
> be C either) - and because I guess it can add static safety exploiting
> haskell types. Since we already have that nice syntax for monads those
> programs should be readable, too.
> 
> Where could I find information on such topics, or existing libraries
> to generate programs with haskell? Is somebody willing to share what
> (s)he already did?

Googling for "embedded domain specific compilers" should turn up links
on one interesting technique to achieve this.