[Haskell-cafe] Compiling a DSL on the shoulders of GHC

Patai Gergely patai_gergely at fastmail.fm
Sun Oct 17 15:53:17 EDT 2010

> Not sure how this fits into what I thought you were saying.  Are you
> trying to use Haskell to build an AST, use GHC to optimize it, and
> then spit it out and compile it with, say, a OCaml program that you
> have already written?
Yes, that would be the basic idea:

1. Compile the Haskell metaprogram.
2. Evaluate main, possibly with a timeout, in a way that keeps all its
structure including lambdas accessible (e.g. Core).
3. Compile the resulting program with other tools.

> What is this different tool and how does it fit in to your pipeline?
This tool(set) is a specialised compiler for some low-level target
platform (FPGA, DSP, GPU - again, no clear decision yet), and it is the
second half of the pipeline after the GHC phases.


http://www.fastmail.fm - The professional email service

More information about the Haskell-Cafe mailing list