15 KiB
专访： Larry Wall
经历了15年的打造,Perl 6终将在年底与大家见面。我们预先采访了她的作者了解一下新特性。
Larry Wall是个相当有趣的人。他即编程语言Perl的创造者，这种语言被广泛的誉为将互联网粘在一起的胶水，也因为对非字母使用的密度和宽容度被嘲笑是‘只写’语言。Larry本人具有语言学背景，曾风趣的使用“洋葱的状态”来介绍Perl特性，为人津道。
在2015年布鲁塞尔的FOSDEM上，我们赶上Larry，问了问他为什么Perl 6花了如此长的时间（Perl 5的发布时间是1994年），了解当项目中的每个人都各执己见时是多么的难以管理，以及他的语言学背景自始至终究竟给Perl带来了怎样的影响。做好准备，让我们来领略其中的奥妙……
Linux Voice：你有计划寻找世界某处某种不知名的语言来写脚本，但你还未曾有机会去实现它。现在呢？
Larry Wall：那需要多么青春，才能承担得起呀！做这些事需要投入很大的努力和人力，以至于已经不适合那些上了年纪的人了。健康、活力是其中的一部分，同样也因为人们在年轻的时候更容易学习一门新的语言，只有在你学会了语言之后你才能写脚本呀。
我自学了日语十年，由于语音和发声联系我能说的比流利——但要理解别人的意思对我来说还十分困难。所以到了日本我会问路，但我听不懂他们的回答！
“在Perl 6中，我们试图让电脑更准确的了解我们。”
通常需要学习一门语言直到能开发一个书写系统，并且可以使用这种语言进行少量的交流，经过日积月累直到，你能用它学习研究、教书育人，最后达到可以教授本土人如何以他们的文明书写。
当然如果在语言方面你有帮手 —— 经过别人的提醒我们不再使用“语言线人”来称呼他们了，那样显得我们像是在CIA工作的一样！—— 你可以通过他们的帮助来学习外语。他们不是老师，但他们会以另一种方式来激发你学习 —— 当然他们也能叫你如何说。他们会拿着一根棍子，指着它说“这是一根棍子”，然后丢掉同时说“棒子掉下去了”。你开始记下一些东西并将其系统化。
大多数迫使人们站出来的原因是翻译圣经。但是这只是其中的一方面；另一方面也是为了保护自己的文明。传教士在这方面臭名昭著，应为人类学家认为人们应该基于自己的文明来做这件事。但注定有些有些人会改变他们的文明——他们可能是军队、或是商人，如可口可乐或者缝纫机器，或传教士。在这三者之间，传教士式相对来讲伤害最小的了，如果他们恪守本职的话。
LV：许多文字系统有本可依，相较而言你的发明就像是格林兰语…
切诺基人照搬字母就发明了他们自己的语言，并没有在这些字母上施加任何他们的想法，这种做法相当任性。它们必须要能够表达出人们所想，才能使交流更顺畅。经常是有些声调语言使用的是西方文字拼写，并尽可能的使用拉丁文的字符变化。然后用重音符或数字标注出音调。
在你开始学习如何使用语音和语调表示之后，你也开始变得迷糊——或者你书写就不如从前准确。或者你对话的时候像在讲英文，但发音开始无法匹配拼写。
LV：当你在维护Perl的时候，你的语言学背景会不会使你认为：“这对程序设计语言真的非常重要”？
LW：我在人们是如何使用语言上想了很多。在现实的语言中，你有一套名词、动词和形容词的体系，并且你知道这些单词的词性。在现实的自然语言中，你时常将一个单词放到不同的位置。我所学的语言学理论也被称为法位学，他会解释这些在自然语言中工作的原理 —— 也就是有些东西你考虑的时候是名词，但你可以将它用作动词，并且人们总是这样做。
你能很好的将任何单词放在任何位置，然后你就能沟通了。我比较喜欢的例子是将一整句话用作为一个形容词。这句话会是这样的：“我不喜欢你[我可以用任何东西来取代这个形容词的]态度”！
所以自然语言非常灵活，因为聆听者非常聪明 —— 至少，相对于电脑而言 —— 你相信他们会理解你最想表达的意思，即使存在歧义。当然对电脑而言，你必须保证歧义不大。
可以说在Perl 1到5上，我们针对这方面的管理做得还不够。有时电脑会在不应该的时候抽风。在Perl 6上，我们找了许多方法，使得电脑对你所说的话能更准确的理解，就算用户并不清楚这底是字符串还是数字。电脑准确的知道它的类型。
LV：Perl被视作互联网上的“胶水”语言已久，能将点点滴滴组合在一起。在你看来Perl 6的发布是否符合当前用户的需要，或者旨在招揽更多新用户，能使她重获新生吗？
LW：最初的设想是为Perl程序员带来更好的Perl。但在看到了Perl 5上的不足后，很明显改掉这些不足会使Perl 6更易用，就像我在讨论中提到过 —— 类似于在J. R. R. Tolkien上对易用性的讨论一样[see http://tinyurl.com/nhpr8g2]。
重点是“简单的东西应该简单，而难得东西应该可以实现”。让我们回顾一下，在Perl 2和3之间的那段时间。在Perl 2上我们不能处理二进制数据或嵌入的空值 —— 只有C语言风格的字符串。我曾说过“Perl只是文本执行语言 —— 你并不需要有这些功能的文本执行语言”。
但当时发生了一大对的问题，因为大多数的文本中会包含少量的二进制数据 —— 类似的例如网址。你使用二进制数据打开套接字，然后文本处理它。所以语言的可用性两倍于处理二进制的可能性。
那我们开始探讨在语言中什么应该简单。现在的Perl中有一条原则，我们偷师了哈夫曼编码，在位编码系统中为字符采取了不同的尺寸。常用的字符占用的位数较少，不常用的字符占用的位数更多。
“掌握平衡时需要格外小心。毕竟在刚开始的时候总会有许多的好主意。”
我们偷师了这种想法并将它作为Perl的原则，针对常用的或者说常输入的 —— 这些常用的东西必须简单或简洁。另一方面，也显得更加的不规则。在自然语言中也是这样的，由诸多的常用的动词趋于诸多的不规律。
所以在这样的情况下需要更多的差异存在。我很喜欢一本书是Umberto Eco写的的《探寻完美的语言》，说的并不是计算机语言；而是哲学语言，大体的意思是古代的语言也许是完美的，我们应该将她们带回来。
所有的这类语言错误的认为同样的事物，其编码也应该一直是相同的。但这并不是我们沟通的方式。如果你的农场中有许多动物，他们都有对应的名字，当你想杀一只鸡的时候说“走，去把Blerfoo宰了”，你的真实想法是宰了Blerfee，但有可能最后死的是一头牛。
所以在这种时候我们其实更需要好好的将单词区分开，使沟通的信道的冗余增加。
在电子学中还有另一种自时钟码。在从前的串行传输协议中有停止和启动位，来保持同步。自然语言中也会包含这些。比如说，在写日语时，你不用空格。由于书写方式的原因，他们会在每个词组的开头使用中文中的汉字字符，然后用音节表中的字符来结尾。
LV：平假名，对吗？
LW: 是的，平假名。所以使用这一系统，每个词组的开头就自然而然的脱颖而出了。同样的，在古老的希腊，大多数的动词都是搭配好的。所以它们拥有时钟排序机制的标准结尾。在他们的书写体系中空格也是可有可无的 —— 引入空格是更现代的一大发明。
所以在计算机语言上也要如此，将值包含于自时钟码中。在Perl上我们重度依赖此道，而且在Perl 6上相较于前几代这种依赖更重。当你使用表达式时，你要么想得到一个词，要么想到得到插入操作符。当你想要得到一个词，你有可能同时得到一个前缀操作符，同样当你想要得到一个插入符，你也可能同时得到前一个词的后缀。
但是反过来。如果编译器准确的知道它想要什么，你只用多写那么一丢丢，其他的让Perl来完成。所以在切断的时候，它会根据需要推荐常规表达式，分割处也会如你所愿。而我们并不需要操心任何事，因为那只会使你失去自时钟冗余。
大多数我们最好的语法错误消息，源于对一行中出现两个词的观察。然后我们尝试找出原因 —— “哦，你一定漏掉了上一行的分号”。所以我们相较于很多其他特殊解析器可以生成更加好的错误消息。
LV：为什么Perl 6花了15年？当每个人对她有不同看法时一定十分难管理，而且正确和错误并不是绝对的。
LW：这其中必定会有非常微妙的平衡。刚开始会有许多的想法 —— 当然，我并不是想说那些是好想法。也有很多令人烦恼的地方，就像有361条RFC[功能建议文件]，而我想要实现的可能只有其中的20条。我们需要坐下来，将它们全部看完，并忽略其中的解决方案，因为它们通常流于表象、视野狭隘。几乎每一条只针对一样事物，如若我们将它们全部拼凑起来，那简直是一堆垃圾。
所以我们必须基于人们在使用Perl 5时的真实感受重新整理。寻找统一、深层的解决方案。许多的RFC文档都提到了一个事实，就是类型系统的不足。通过引入更条理分明的类型系统，我们可以解决很多问题并且即聪明又紧凑。
同时我们开始关注其他面：如何统一特征集并开始重用不同领域的想法。并不需要他们在下层相同。我们有一种标准的书写配对方式——好的吧，Perl的话有两种！但使用冒号书写配对的方法同样可以被基数计数法或是任何文字编号所重用。同样也可以用于其他形式的引用。在Perl里我们称它为“奇妙的一致”。
“早先组建Perl 6实施小组的朋友，挽着我的手说：“我们真的很需要一位语言的设计者。””
同样的想法涌现出来，你说“我已经熟悉了语法如何运作，但是我实在别处看到的”。所以说视角相同才能找出这种一致。那些早期将Perl 6呈现在我面前的人们，握着我的手说：“我们真的需要一位语言的设计者。您能作为我们的精神领袖吗？”
所以我是语言的设计者，但总是听到：“离实施小组远点！我们目睹了你对Perl 5做的那些，我们不想历史重演！”真是让我忍俊不禁因为他们作为起步的核心和原先Perl 5的内部结构上几乎别无二致，也许就只因为这个原因实施小组早期的工作并不顺利。
因为我们始终坚持我们的整体设计方法，所以在是否应该使用VM上讨论良久，最后解决的方式很像面向对象的汇编语言。类似的问题在伊始阶段无处不在。然后Pugs这家伙走过来说：“用用看Haskell吧，它能让你们清醒的认识自己正在干什么。让我们用它来弄清自己的言下之意。”
因此，我们明确了其中的一些语义模型的，但更重要的是，我们开始建立符合哪些语义模型的测试套件。在这时候，持续的对Parrot VM进行开发，以及另一个实施项目Niecza的到来，它基于.Net，是由一个年轻的家伙搞出来的。他很聪明且实施了一大部分的Perl 6。不过他还是一个人干，并没有找到什么好方法让别人介入他的项目。
同时Parrot项目变得过于庞大，以至于任何人都不能真正的由内而外的管理它，并且很难重构。负责这方面工作的Rakudo觉得我们可能需要在更多平台上运行不止Parrot VM。于是他们发明了所谓的可移植层，“Not Quite Perl”简写成NQP。他们一开始将它移植到JVM（Java虚拟机）上运行，与此同时，他们还秘密的在一个新的VM上工作。这个叫做MoarVM的VM这去年刚刚为人知晓。
无论MoarVM还是JVM在回归测试中表现得十分接近 —— 在许多方面Parrot算是紧随其后。这样不挑剔VM真的很棒，我们也能开始考虑将NQP发扬光大。谷歌夏季编码大赛的目标就是针对JavaScript的NQP，这应该靠谱，因为MoarVM平时处理也同样使用Node.js。
我们可能要将今年余下的时光投在MoarVM上，直到6.0发布，方可休息片刻。
LV：去年英国，政府开展编程年，来激发年轻人对编程的兴趣。针对活动的建议五花八门——类似为了让人们准确的认识到内存的使用你是否应该从低阶语言开授，或是一门高阶语言。你对此作和看法？
LW：到现在为止，Python社区在低阶方面的教学工作做得比我们要好。我们也很想在这一方面做点什么，这也是我们有蝴蝶logo的部分原因，以此来吸引七岁大小的女孩子！
我们认为将Perl 6作为第一门语言来学习是可行的。一大堆的将Perl 5作为第一门语言学习的人让我们吃惊。你知道，在Perl 5中有许多相当大的概念，如闭包，范围操作符，和一些你通常在函数式编程中学到的特性。这才Perl 6中同样有很多。
“到现在为止，Python社区在低阶方面的教学工作做得比我们要好。”
Perl 6花了这么长时间的部分原因是我们尝试去坚持将近50种互不相同的原则，在设计语言的最后对于“哪点是最重要的规则”这个问题还是悬而未决。有太多的问题需要讨论。优势我们做出了决定，并已经工作了一段时间，才发现这个决定并不正确。
之前我们并未针对并发程序设计设计或指定些什么，直到Jonathan Worthington的出现，他非常巧妙的权衡了各个方面。他结合了一些其他语言诸如Go和C#的想法，将并发原语写的非常好。可组合性是一个语言至关重要的一部分。
很滑稽的是很多程序设计系统的并发和并行写的并不好 —— 就像线程和锁，不良的操作方式有很多。所以在我看来，额外花点时间看一下Go或者C#这种高阶原语的开发是很值得的 —— 他们在条目中列出了矛盾 —— 写的相当棒。
via: http://www.linuxvoice.com/interview-larry-wall/
作者：Mike Saunders 译者：译者ID 校对：校对者ID