[Haskell-cafe] sharing

[Carter Schonwald]

Applicative do notation ?

Doesn’t recent ghc also have source plugins ? I’m admittedly unfamiliar
with those ?

Have you looked at how stuff like the ivory/tower edsl libraries do their
embedding?

Do you have enough examples for them to treat getting started as a “use
your cookbook” and then go from there ?

On Wed, Feb 5, 2020 at 7:57 AM Tom Schouten <tom at zwizwa.be> wrote:

> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20200205/f5ad0c95/attachment.html>