One option to consider is using Haskell as the host language for your DSL but then generating either C or LLVM bytecode directly. Haskell has a few DSLs in this vein like Ivory, Copilot and Atom which you can look to for inspiration.
This can give you Haskell's expressiveness and type system coupled with the speed, portability and compatibility of C or LLVM.
HI all,as a part of a project for physical simulation, I'm was given the task to help with the implementation of an Small DSL that is a minimal functional language. Point is that this small language contains some dependent typed theory, because we want to be able to check statically the shapes of vector and matrices, among other things. Haskell of course seems the tool for the job.But my boss insists that the implementation should be done in C, but I think that it is madness.Can someone please point me to relevant literature, discussions or general information that can help me to show my boss that Haskell is the right tool?any help would be appreciated.Felipe Z.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe