论程序设计语言的表现力

论文就像诗歌一样。有些令人眼花缭乱，有些是行人，有些是有洞察力的，还有一些是对长时间安静沉思的奖励。它们会激起一种超越严格理性的情绪反应，而且往往是非常个人化的。

在研究生期间，在身份危机时期，我偶然读到马蒂亚斯·费莱森(Matthias Felleisen)的《论编程语言的表现力》(On The Expression Power Of Programming Languages)。在C++统治世界的时代，我沉浸在Plan中，所以我总是对主流的语言主张持怀疑态度。然而，语言战争似乎超出了理性话语的范畴。因此，有人可以把一个像“表现力”这样模糊的概念形式化的想法已经是一个启示。但这篇论文的美远远不止于此：它还在于方法的整洁，形式主义与直觉的一致性，以及执行的紧张性。

这是我读过的最令人惊叹的报纸，现在也是如此。它就像一首永远不会离开你灵魂的诗。

不幸的是，这篇文章对于外行来说可能不容易阅读：它依赖于一定数量的编程语言理论的“文化知识”。我希望剥离其中的一些层面，帮助你们也理解这张纸-希望同时保留我所经历的欢乐和美丽。

Shriram是美国罗伊州普罗维登斯市布朗大学负责编程语言的副校长。他不是，真的，但他的名片上是这么写的。本质上，他是一个声名狼藉的人：一个阴谋家、诈骗犯和卑鄙小人。他认为热带水果比所有其他种类的水果都要好。他害怕成功，因为他可能会被迫买一套西装。众所周知，他会审问他的观众，以确保他们专心听讲。所以，要保持警惕。您可以稍后阅读电子邮件。