[Haskell-cafe] DSL implementation

[Dr Christopher Anand]

Hi Felipe,

We performed an (unplanned) experiment relevant to your case.  We developed a DSL in Haskell and a library of math functions while IBM was doing the same thing in C.

http://doi.ieeecomputersociety.org/10.1109/TC.2008.223

The C library was 4X slower, and less accurate.

More recently we have wrapped-up a prototype for type-safe physical models and there is a preprint and three example implementations which might be of help in constructing your own. 

http://www.cas.mcmaster.ca/~anand/papers/preprints.html

Good luck explaining why Haskell is so good for DSLs.  You might find

http://cacm.acm.org/magazines/2011/7/109910-dsl-for-the-uninitiated/fulltext

helpful.

Christopher

On Sep 17, 2014, at 2:02 PM, felipe zapata <tifonzafel at gmail.com> wrote:

> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140918/90c92d40/attachment.html>