[Haskell-cafe] Compiling a DSL on the shoulders of GHC
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