Huh, where did I say my preferred version of templates were C# generics? As of C++ templates being extremely powerful - I agree. But this is a similar kind of

Huh, where did I say my preferred version of templates were C# generics? As of C++ templates being extremely powerful - I agree. But this is a similar kind of "powerfulness" as C macros are, only little safer. Technically they are still just a fancy macrogenerator working at the AST level instead of lexer level, knowing nothing about the types (you even have to tell it which symbols are the types, because it cannot reason it out from syntax). IMHO it is years behind true generic typesystems like in Haskell, OCaml or Scala and calling it a "type system" is an exaggeration.