Excellent answer! Splitting the Symantics class into pieces is one of
the techniques that we didn't need for solving the original problem
(tagless partial evaluation without resorting to fancy types) that set
us on this track. Which is too bad, because it would have made a nice
addition. The
Hi list,
there is one thing about the Finally tagless EDSL approach that really
confuses me: (Well more than one actually but this one more so)
When to decide to introduce a term as a primitive in the syntax class
and when to define it from primitives already defined.
For example this one
Hi Gunther,
The finally tagless approach can be viewed as one instance of the
typecase pattern,
which myself and others have investigated the past:
http://ropas.snu.ac.kr/~bruno/papers/Typecase.pdf
Your problem is related to a problem that is found when designing
generic programming
