论文就像诗歌一样。有些令人眼花缭乱,有些是行人,有些是有洞察力的,还有一些是对长时间安静沉思的奖励。它们会激起一种超越严格理性的情绪反应,而且往往是非常个人化的。
在研究生期间,在身份危机时期,我偶然读到马蒂亚斯·费莱森(Matthias Felleisen)的《论编程语言的表现力》(On The Expression Power Of Programming Languages)。在C++统治世界的时代,我沉浸在Plan中,所以我总是对主流的语言主张持怀疑态度。然而,语言战争似乎超出了理性话语的范畴。因此,有人可以把一个像“表现力”这样模糊的概念形式化的想法已经是一个启示。但这篇论文的美远远不止于此:它还在于方法的整洁,形式主义与直觉的一致性,以及执行的紧张性。
这是我读过的最令人惊叹的报纸,现在也是如此。它就像一首永远不会离开你灵魂的诗。
不幸的是,这篇文章对于外行来说可能不容易阅读:它依赖于一定数量的编程语言理论的“文化知识”。我希望剥离其中的一些层面,帮助你们也理解这张纸-希望同时保留我所经历的欢乐和美丽。
Shriram是美国罗伊州普罗维登斯市布朗大学负责编程语言的副校长。他不是,真的,但他的名片上是这么写的。本质上,他是一个声名狼藉的人:一个阴谋家、诈骗犯和卑鄙小人。他认为热带水果比所有其他种类的水果都要好。他害怕成功,因为他可能会被迫买一套西装。众所周知,他会审问他的观众,以确保他们专心听讲。所以,要保持警惕。您可以稍后阅读电子邮件。