[Haskell-cafe] DSL implementation

[Tikhon Jelvis]

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.
On Sep 17, 2014 11:03 AM, "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/20140917/7a30b66f/attachment.html>