c++ - C/C++ 有哪些图灵完备的宏语言

Question

序言

Lispers 声称作为对更多“主流”语言的奖励的主要观点之一是宏语言实际上是图灵完备的(我不记得这是 On Lisp 中的 Paul Graham 还是是 Conrad Barski 在 Lisp 的土地)¹ 中，至少对于局外人来说，这似乎是真的——C/C++ 中的预处理器指令似乎不是图灵完备(老实说，它们更像是一种注释语法)。

现在……问题

1. 这是一个准确的评估吗？我只接触过 C，这让我觉得又是 Lispers 过于热心的一点
2. 有没有值得注意的图灵完备宏语言(针对 C/C++)？
   • 是否有任何值得在未来寻找的正在进行或失败的尝试？
   • 我听说 Python 现在可以作为编译 C/C++ 的主干(意味着 Python 可以用来编写宏)，但我还没有看到这方面的证实。是真的吗？

(我不会问诸如“什么是最好的......”之类的意见问题)

^{1。顺便说一句，这两本书都是非常好的书，只是说说而已}

Answer 1

C 宏实际上是图灵完备的，如果处理不止一次。查看this related question特别是 Turing machine implementation链接到已接受的答案。

但是，是的，这是作弊。那里使用的解决方案强烈暗示 C 宏实际上不是图灵完备的。