Haha, that reminds me to a guy who implemented a PROLOG-like language with templates: https://github.com/abudnik/tcalc

I've first encountered these techniques in Alexandrescu's Modern C++ Design. The most interesting for me was how one arrives to such solutions [in C++]. Later, I read SICP (which was the first time I touched FP) and everything got much more sense...