Hi,

Is there currently a consensus on what is the best way to embed a pure
dataflow language while keeping control over value sharing?

I have a stream processing language that has a monadic interface (a ->
b -> m c) to track variable sharing so it can compile down to C or
Verilog, but I would like to create an expression interface layer on
top (s a -> s b -> s c) that still allows me to recover the underlying
monad representation to implement sharing.  I got used to writing in
monadic form but I really can't sell this to EEs...

Other than a TH or syntax frontend, unsafe tricks, or Conal's
compiling to categories which requires a plugin (I believe), is there
another way?

Cheers,

Tom
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.