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

Tom Hawkins tomahawkins at gmail.com
Tue Oct 19 10:45:25 EDT 2010

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.


More information about the Haskell-Cafe mailing list