编程语言的本质：1.编程语言的计算能力

编程语言的本质到底是什么？”——昨天晚上给自己提了这么个问题

如果要我来解释，自然语言的本质到底要从哪几方面入手，我可能能说出这么一些来：拼写学Orthography、音系学Phonology、语音学Phonetics、词法学Morphology、句法Syntax、语义学Semantics、语用学Pragmatics[1]。也许，学英语，学法语，学拉丁文，掌握这么些本质的东西，融会贯通一下，学习起来应该就很快了。（我现在越来越觉得，你跟所谓的牛人之间的差距，可能只是方法论的区别而已。）

但是接触了这么久编程语言，编过PHP，编过C++，编过Java，编过Python，编过Prolog，编过OC，当我问自己这么个问题的时候，脑子竟然一片空白。以前总是沉迷在各种语言的“玩法”上不能自拔，觉得很爽，很拽，别人都不会，很有成就感。但其实那些都是很表皮的东西，翻翻文档就能完成的东西。最近看了些博客，看了些书，深知对语言的追求应该是到那种拿到一门新的语言，半天就能将特性琢磨透的程度。那么怎么琢磨透呢？我觉得，只有了解本质的东西，才能让你有这种认知的速度，基础才是最重要的。

本来这篇文章应该是徐宥前辈的“编程珠玑八卦版”[2]的读后感，但行文之前，隐隐感觉有种拾人牙慧的罪恶感，于是狠狠打开wiki，做起资料收集来。一查起来发现，徐宥前辈的文章就是一扇门，可能写得好的博客都是一扇门吧。这个问题，深挖可以牵扯到计算理论、计算模型等等理论计算机科学的东西，浅挖就是各种编程泛型、数据