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

[Patai Gergely]

> 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.

Gergely

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