...The difference is, Scheme's macro system (syntax-rules: there are others) is elegant and simple, whereas C++ templates are still an insane inconsistant hack. They're just a standard insane, inconsistant hack.

But the other thing about the Scheme macro system is that while its (relative) simplicity, elegance, safety, and power lead to its adoption by other languages (most famously, JS (in the form of an external preprocessor) and rust), it's actually quite underpowered by Lisp standards, and thus most implementations provide a nonstandard system for hygenic imperative macros, usually either er/ir macros, sc/rsc macros, or syntax-case. Of the three, I'd say syntax-case is an overly complex mess, and that the other two both have merits.

So since TMP is doing similar substitutions (AFAICT: I haven't done the deep dive) to syntax-rules, it's got very real, and relatively common, limits. And as C++ slowly expands in scope, it will have to deal with problems that syntax-rules has already solved (what if a function creates a lambda or takes a function pointer argument called ioctl, and your template expansion calls ioctl?), and TMP hasn't AFAICT.

And even when they fix all that, they'll still have C++, which is about as regular as the Linux Kernel relase schedule combined with The DevTeam's.