1. 14
  1.  

  2. 2

    metaocaml is another very interesting evolution of the concept.

    1. 1

      I think though, the comparison should be made between Template Haskell and C++ templates. C++ templates are also compile time only, I believe.