问用于生成式编程的非C ++语言？

EN

模板风格元编程的替代方法是您在各种Lisp实现中看到的宏风格。我建议下载Paul Graham的On Lisp。

Lisp中的宏比C / C ++风格强大得多，它们本身就构成了一种语言 - 它们是为元编程而设计的。

Nim是一种相对较新的编程语言，它对静态元编程有广泛的支持，并生成高效的（类似于C ++）编译代码。

它支持编译时函数评估，通过宏进行类似lisp的AST代码转换，编译时反射，可以用任意值进行参数化的泛型类型以及可用于创建用户定义的高级类型感知的术语重写窥视孔优化。甚至可以在编译过程中执行外部程序来影响代码生成。作为示例，考虑与本地运行的数据库服务器交谈，以验证代码中的ORM定义（通过某个DSL提供）与数据库的模式匹配。