The History of Python

2011年7月9日星期六

Karin Dewar, 缩进 和 冒号

Karin Dewar, 缩进 和 冒号

我在另一个博客近期一篇博文中说了一个轶闻,是关于Robert Dewar的妻子如何发明Python缩进的趣事。当时我就提到自己并不十分确认具体细节,现在看来此举颇为明智,因为真相与之颇有偏差。我收到了Lambert Meertens一封详述此事的长电子邮件。我准备在此复述此信,除了部分他要求不要直接引用的部分外基本是信的全部内容了。摘要:Karin Dewar提供了ABC(因为也是Python)中在缩进开始前使用冒号的灵感,而不是缩进本身。下面是Lambert的电子邮件:

    Dewar的贡献不在缩进本身,而是发明了缩进前冒号的使用。

    首先是B中的缩进。在B0(B0,B1,B2, ... 是创建ABC时的一系列设计,B0最早)中就采用了强制缩进来分组代码,并且把分组代码用BEGIN和ENG分隔符包含起来。关于这点可以参考[GM76]的4.1节(布局)。如同打印美观一样,缩进被提议由专门的B编辑器来负责,而用户无法对此修改:用户没有被赋予取消这一设置的选择,以免缩进的强制性被破坏。

    有了强制性缩进后,额外的BEGIN和END分隔符自然就显得多余了,B1时我们就取消了BEGIN,只保留了END IF、END FOR等结束分隔符,在B2时结束分隔符也被取消了,只利用缩进作为分组代码的唯一标识。这一点可参考[ME81]第四章(语句语法)

    ABC中缩进的本意仅是为了使源代码看起来整洁,易于表达语义逻辑,把尚未强制的习俗固化下来,取消额外的BEGIN ... END可能受[PL75]影响,后者提倡仅用缩进来分组代码。occam出现(1983)的要晚,因此缩进这一特性不可能源自occam,同一原因,也不会是借鉴自Miranda(1985)。据我所知,B语言是最早采用缩进作为分组语句特性的且正式发布(并且有实现)的语言

    现在到了 Dewar 的故事,也就是我得知采用冒号的由来,我在此将其记录下来,也算是ABC设计理念的回忆录:


依 Lambert 要求,下面的内容由我组织语句而不是直接引用。

1978年,一次在Jablonna(亚布翁纳)召开的设计会议上,Robert Dewar, Peter King, Jack Schwartz 和 Lambert比较各种为B提议的语法,通过比较采用各种语法实现同样的(代码质量一般的)冒泡排序。他们僵持不下时便去Robert Dewar妻子的房间将她喊来,想听听她的观点,像是现代版的让Paris来从Hera, Athena, 和 Aphrodite之间选美。但是刚刚向她解说了第一个语法形式后,她说道:“你的意思是说,这样一行'FOR i ...',必然会影响接下来的一组语句,而不会仅是影响当前行本身?!”于是,这些科学家们意识到在这样的行结束后附加一个冒号,就能避免误解。

Lambert 还提到如下相关文献:

    [PL75] P. J. Plauger. Signal and noise in programming language. In J. D. White, editor, Proc. ACM Annual Conference 1975, page 216. ACM, 1975.

    [GM76] Leo Geurts and Lambert Meertens. Designing a beginners' programming language. In S.A. Schuman, editor, New Directions in Algorithmic Languages 1975, pages 1–18. IRIA, Rocquencourt, 1976.

    [ME81] Lambert Meertens. Issues in the design of a beginners' programming language. In J.W. de Bakker and J.C. van Vliet, editors, Algorithmic Languages, pages 167–184. North-Holland Publishing Company, Amsterdam, 1981.

############################################################################
小广告:以前留言的朋友,由于博客的缺省设置,可能将部分留言作为广告信息自动屏蔽了,所以我当时没有看到留言,十分抱歉。现在修改了设置,应当能看到了。