Thanks for pointing that out, this is my first time encountering
tagless-final. The use of the :-> data constructor seems to solve a lot of
problems. I'm wondering how to introduce a haskell function as an embedded
value in such an EDSL but I think I will try it out.
Thanks,
Ian
On Thu, Oct 15, 2015 at 8:55 AM, Oleg
Ian Bloom wrote: I've been hoping to design a domain specific embedded language in Haskell that would let me pipe a commutative monad throughout an expression written in the language. Special terms within the language will eventually have access to this monad.
Is there a reason tagless-final approach does not work for you? You can easily thread any monad, even if you don't make any provision for it initially. For example,
http://okmij.org/ftp/tagless-final/index.html#call-by-any http://okmij.org/ftp/tagless-final/course/CBAny.hs
uses monad to print out traces of the expression and then later to implement lazy evaluation for EDLS (which needs mutable cells).
-- 718.755.5483 http://ianbloom.com/