了解几个概念----元编程 自举 图灵等价 图灵完备 图灵完备语言

了解几个概念----元编程 自举 图灵等价 图灵完备 图灵完备语言

元编程

Meta- 这个前缀在希腊语中的本意是「在…后，越过…的」，类似于拉丁语的 post-，比如 metaphysics 就是「在物理学之后」，这个词最开始指一些亚里士多德的著作，因为它们通常排序在《物理学》之后。

但西方哲学界在几千年中渐渐赋予该词缀一种全新的意义：关于某事自身的某事。比如 meta-knowledge 就是「关于知识本身的知识」，meta-data 就是「关于数据的数据」，meta-language 就是「关于语言的语言」，而 meta-programming 也是由此而来，是「关于编程的编程」。

弄清了词源和字面意思，可知大陆将 meta- 这个前缀译为「元」并不恰当。台湾译为「后设」，稍微好一点点，但仍旧无法望文生义。也许「自相关」是个不错的选择，「自相关数据」、「自相关语言」、「自相关编程」——但是好像又太罗嗦了。

Anyway。先看看 meta-data：

「我的电话是 +86 123 4567 8910」
——这是一条数据；
「+86 123 4567 8910 有十三个数字和一个字符，前两位是国家代码，后面是一个移动电话号码」 —— 这是关于前面那条数据的数据。

那么照猫画虎，怎样才算 meta-programming 呢？泛泛来说，只要是与编程相关的编程就算是 meta-programming 了——比如，若编程甲可以输出 A - Z，那么写程序甲算「编程」；而程序乙可以生成程序甲（也许还会连带着运行它输出 A - Z），那么编写程序乙的活动，就可以算作 meta-programming，「元编程」。注意，程序甲和程序乙并不一定是同一种语言：

('A'..'Z').each do |char|
    system("python -c 'print \"#{char}\"'")
end

如此说来，inline SQL 甚至动态生成 HTML 也是元编程了？抠定义的话是这样吧。

不过 metaprogramming 更狭义的意思应该是指「编写能改变语言语法特性或者运行时特性的程序」。换言之，一种语言本来做不到的事情，通过你编程来修改它，使得它可以做到了，这就是元编程。本版同文提及 method_missing，那么 Wat — Destroy All Software Talks 之中给出了运行时元编程的经典范例：

>> ruby has no bare words NameError: undefined local variable or method `words' for main:Object from (irb) 1 >> def method_missing(*args); args.join(" "); end => nil >> ruby has bare words => "ruby has bare words" >> bare words can even have bangs! => "bare words can even have bangs!"

C、C++、Python、JavaScript…… 多数流行的语言或多或少都有元编程能力；Lisp 诸方言更是以元编程为基本。而 Ruby 更是因为元编程易用又强大，被许多人拿来写 DSL，因为元编程可以捏出「本不存在的语法特性」来让书写 DSL 变得简单。

按照我的理解 说白了 元编程 就是写代码生成代码 而不是代码生成数据，本质上扩展程序自身

自举

元编程是代码生成代码，自举是自己编译自己

自己的编译器可以自行编译自己的编译器。

实现方法就是这个编译器的作者用这个语言的一些特性来编写编译器并在该编译器中支持这些自己使用到的特性。

首先，第一个编译器肯定是用别的语言写的（不论是C还是Go还是Lisp还是Python），后面的版本才能谈及自举。

例如Python解释器中的CPython、JPython、PyPy等版本，PyPy就是自举。

为何要自举？

自举过程中和自举之后，核心开发者每天使用自己设计的语言工作（开发自己的编译器），不断的在实践中锻造，利于及早发现设计缺陷和不足之处，并及时解决；自举之前，只能每天花费大量的时间和精力，使用其他编程语言开发和维护自己的编译器，学习积累的都是别的语言的经验和教训，缺少在实践中检验自己设计的语言的机会。如果自己设计的语言自己都不去深度地使用，又上哪里获取第一手的反馈信息呢，又如何改善呢。
所以自举越早对编程语言自身发展完善越有利，最好是在自身定型之前尽早自举。

如果你的语言不是图灵完备，或者缺乏好用的指针等其它高级玩意儿，前者往往无法自举，后者你累死你也很难写出自举的程序来。

现阶段的我，用不着自举把。。。想自举都自举不起来，水平还差得远呢，还是个api仔呢。

图灵完备

Turing completeness
In computability theory, a system of data-manipulation rules (such as an instruction set, a programming language, or a cellular automaton) is said to beTuring complete or computationally universal if and only if it can be used to simulate any single-taped Turing machine and thus in principle any computer.
在可计算理论里，一个数据操作规则的系统（比如：指令集、编程语言、细胞自动机）被称作图灵完备或者通用计算的，当且仅当它可以被用来模拟单带图灵机。

简单来说，都能完全模拟图灵机的就完备的。

图灵等价

Turing equivalence
In computability theory, there is a closely related concept known as Turing equivalence. Two computers P and Q are called Turing equivalent if P can simulate Q and Q can simulate P. Thus, a Turing-complete system is one that can simulate a Turing machine, but the term is most often used to mean Turing equivalent to a Turing machine.
在可计算理论里，有一个很相关的概念叫图灵等价。当计算机 P 和计算机 Q 是图灵等价的，当P可以模拟Q而且Q也可以模拟P。因此，一个图灵完备的系统可以模拟图灵机，但是这个术语（即图灵等价）常常被用来指与图灵机等价。

然后我们再来看看在可计算理论中，这两个词的正式定义：

Turing completeness：A computational system that can compute every Turing-computable function is called Turing complete (or Turing powerful). Alternatively, such a system is one that can simulate a universal Turing machine.
图灵完备：一个可以计算所有图灵机可计算的计算系统被称为图灵完备的。换句话说就是一个可以模拟通用图灵机的系统。

Turing equivalence：A Turing-complete system is called Turing equivalent if every function it can compute is also Turing computable; i.e., it computes precisely the same class of functions as do Turing machines. Alternatively, a Turing-equivalent system is one that can simulate, and be simulated by, a universal Turing machine. (All known Turing-complete systems are Turing equivalent, which adds support to the Church–Turing thesis.)
图灵等价：一个图灵完备的系统被称为图灵等价的，如果任何它可以计算的函数也是图灵可计算的。也就是它可计算的函数和图灵机可计算的函数是完全相同的。换句话说，就是图灵等价的系统就是能模拟通用图灵机同时也能也被通用图灵机模拟的系统。（所有已知的图灵完备的系统都是图灵等价的，这增加了对丘奇-图灵论题的支持）

综上，图灵等价有两个意思，一个是指两个计算系统在可计算性上计算能力相同；另一个，也是常用的一个就是指一个系统的计算能力与通用图灵机计算能力相同（在可计算性的意义上）。

而图灵完备是指能够模拟通用图灵机的计算系统。而所有已知的图灵完备的系统都是图灵等价的，这也增加了对丘奇-图灵论题的支持。因此，在现有的计算机系统（编程语言、指令集等）上，使用图灵等价和图灵完备是一个意思。

图灵完备语言？

套用上面的定义，如果一个编程语言可以完全模拟图灵机，那么它就是图灵完备的。

大部分编程语言都是图灵完备的，因为他们需要解决各种问题的通用能力，而这正是图灵机所具备的。
确实存在一些语言不是图灵完备的，他们通常是被设计用来解决某些特殊的问题，比如，SQL、正则表达式。

以经验来看，凡带有分支，跳转能力，并且支持数组状数据结构的语言基本上就是图灵完备的。