C++ Template Metaprogramming with Embedded Haskell Zolt·an Porkol·ab

Template metaprogramming is an emerging new direction of gen-erative programming: with the clever denitions of templates we can enforce the C++ compiler to execute algorithms at compilation time. Among the application areas of template metaprograms are the expression templates, static interface checking, code optimiza-tion with adaption, language embedding and active libraries. How-ever, as this capability of C++ was not a primary design goal, the language is not capable of clean expression of template metapro-grams. The complicated syntax leads to the creation of code that is hard to write, understand and maintain. Despite that template metaprogramming has a strong relationship with functional pro-gramming paradigm, existing libraries do not follow these require-ments. In this paper we discuss the possibility to enhance the syn-tactical expressiveness of template metaprograms using an embed-ded functional language. Programmers can write metaprograms in Haskell syntax embedded in native C++ code and a translator tool transfers it to template metaprograms. The Haskell code snippets inter-operate with their C++ environment