Meta-Meta-Programming Generating C++ Template Metaprograms with Racket Macros

Domain specific languages embedded in C++ (EDSLs) often use the techniques of template metaprogramming and ex-pression templates. However, these techniques can require verbose code and introduce maintenance and debugging challenges. This paper presents a tool written in Racket for generating C++ programs, paying particular attention to the challenges of metaprogramming. The code generator uses Racket’s macros to provide syntax for defining C++ meta-functions that is more concise and offers more opportunity for error checking than that of native C++. 1