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

[Tom Hawkins]

On Tue, Oct 19, 2010 at 7:54 AM, Patai Gergely
<patai_gergely at fastmail.fm> wrote:
>> I have nearly the same plan: I want to compile a restrictive form of
>> Haskell to constant time and space C code for hard realtime embedded
>> targets.  Except I need a top level monad with different semantics
>> than IO.
> Which language is that? ImProve?

No.  It would be something STMish, similar to Atom.

-Tom