Re:From Object Algebras to Finally Tagless Interpreters
by ddandd on Saturday January 17, 2015 @08:05PM
(#8906194)
I believe that a similar approach can also be used in C++ with the help of ADL [1] and some template magic. Though it may only work on expressions whose concrete type may be known at compile-time (which makes it pretty useless).
[1] http://en.wikipedia.org/wiki/Argument-dependent_name_lookup