On Fri, 30 Jan 2004 19:32:53 +0100
Vincenzo aka Nick Name
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.