<div><div dir="auto">Applicative do notation ?</div></div><div dir="auto"><br></div><div dir="auto">Doesn’t recent ghc also have source plugins ? I’m admittedly unfamiliar with those ?</div><div dir="auto"><br></div><div dir="auto">Have you looked at how stuff like the ivory/tower edsl libraries do their embedding? </div><div dir="auto"><br></div><div dir="auto">Do you have enough examples for them to treat getting started as a “use your cookbook” and then go from there ?</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Feb 5, 2020 at 7:57 AM Tom Schouten <<a href="mailto:tom@zwizwa.be">tom@zwizwa.be</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
Is there currently a consensus on what is the best way to embed a pure<br>
dataflow language while keeping control over value sharing?<br>
<br>
I have a stream processing language that has a monadic interface (a -><br>
b -> m c) to track variable sharing so it can compile down to C or<br>
Verilog, but I would like to create an expression interface layer on<br>
top (s a -> s b -> s c) that still allows me to recover the underlying<br>
monad representation to implement sharing.  I got used to writing in<br>
monadic form but I really can't sell this to EEs...<br>
<br>
Other than a TH or syntax frontend, unsafe tricks, or Conal's<br>
compiling to categories which requires a plugin (I believe), is there<br>
another way?<br>
<br>
Cheers,<br>
<br>
Tom<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div></div>