[Haskell-cafe] sharing
Tom Schouten
tom at zwizwa.be
Wed Feb 5 12:56:39 UTC 2020
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
More information about the Haskell-Cafe
mailing list