[Haskell-cafe] DSL implementation

[felipe zapata]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140917/d4f54f25/attachment.html>