Python 縮進語法的起源：上世紀 60-70 年代的大膽創意！

上個月，Python 之父 Guido van Rossum 在推特上轉發了一篇文章《The Origins of Python》，引起了我的強烈興趣，

眾所周知，Guido 在 1989 年圣誕節期間開始創造 Python，當時他就職于荷蘭數學和計算機科學研究學會（簡稱 CWI），曾參與設計與實作了一門用于教學的 ABC 語言，這段作業經歷以及 ABC 語言的某些設計思想對 Python 有著重要的影響，

文章標題是“Python 的起源”，文章作者 Lambert Meertens 是 Guido 在 CWI 時的導師，以同事親歷者的視角，講述 Python 從無到有的起源程序，這樣的文章我還未曾讀過，因此饒有興趣，

文章內容跟 Python 直接相關的部分并不多，作者花了較大篇幅介紹 ABC 專案的演變，討論了編程語言的設計（特別強調的是簡潔性 Simplicity），

最引起我興趣的內容是：縮進語法的設計！

More striking is the use of indentation. Although it was common in programs written in ALGOL 60 or its descendants, such as Pascal, to use indentation as a typographical layout feature for clarifying the grouping of commands, this was an entirely optional presentation choice, made purely for the benefit of the human reader. In an article by P. J. Plauger entitled “Signal and Noise in Programming Languages,”16 we found the (then) radical idea to “have the compiler read the same signal as we human beings, and let the indenting control grouping,” a suggestion we followed with enthusiasm. Indentation to indicate that a suite of commands belong together subsequently became mandatory in B0 programs, a design choice that has been maintained throughout all iterations.17

——節選自《The Origins of Python》

簡單概括：當時在設計新的編程語言時，他們受到了一篇文章的強烈影響，決定僅采用縮進語法來控制代碼塊的分組，核心思想是“have the compiler read the same signal as we human beings”，為了代碼簡潔性及理解一致性，舍棄了其它的代碼分組方案，

我極為推崇 Python 的強制縮進語法，曾寫過一篇《Python為什么使用縮進來劃分代碼塊？》介紹了這種設計的 8 個原因，但是，該文收到了大量的反對聲，因此，我又補寫了一篇《Python 的縮進是不是反人類的設計？》，

我知道自己的兩篇文章不足以說服那些討厭 Python 縮進的人，但是，如果有更多資料介紹這項設計的原因及思想來源的話，或許就能稍微地改觀某些人的看法，同時也提供給那些喜歡這項設計的人一些信心~

作為 ABC 語言的繼承者，Python 的縮進語法應該主要來源于它，因此，我決定沿著前文的線索，繼續挖掘它們設計縮進語法的起源，

上文提到的文章標題為《編程語言中的信號與噪聲》（Signal and Noise in Programming Languages），發表于 1975 年的 ACM 年會論文集，作者 P.J. Plauger 是全球知名的計算機科學家、C/ C++技術專家以及 The Standard C Library、Standard C : A Reference 和 The Standard Template Library 等圖書的作者，

該篇文章想要區分編程語言的哪些語法是對讀者有用的信號、哪些僅是無用的噪聲，文中提到了一個編程理論：“常說的東西應該言簡意賅（things which get said a lot should be concise）”，

由于代碼經常要分組分塊，因此，“信號與噪聲”一文將begin...end 及do...end 這兩種當時常見的代碼分組語法批評為糟糕的設計，它不反對花括號“{...}”的語法設計，但是提出了一種更為激進的設計，也就是僅用縮進來控制代碼分組（let the indenting control grouping），

按我的理解，P.J. Plauger 建議我們移除編程語言中的噪聲，人們在閱讀代碼時，可以直觀地根據代碼的縮進層級將它們分組，因此縮進本身就是一種有意義的信號，如果激進地讓機器也做到“所見即所得”的話，那甚至連“{...}”這種足夠言簡意賅的設計也不需要了，

P.J. Plauger 是個擅于總結編程風格/原則的人，他曾合作撰寫過一本《The Elements of Programming Style》（譯本：編程格調），全書介紹了 70 多條最佳實踐和編程規則，

只不過，相比于他提出的那些經典的編程規則，“使用縮進來分組代碼塊”不僅在 40 多年前是一條激進而少人接受的風格，它直到今天依然令某些人無法認同，

CWI 的團隊當初在設計 ABC 語言時，激進地采用了縮進作分組的設計，通過溯源那篇“古老的”文章，我們知道了這種設計不是他們突然蹦出的，而是有著某種設計思想的指導，同時這也意味著，Python 的縮進設計除了有“終身仁慈獨裁者（BDFL）”的個人偏好外，還隱含了這一層思想脈絡的淵源，

另外，《The Origins of Python》中還提供了兩個比《編程語言中的信號與噪聲》更早的起源：

• 1965 年的 ISWIM 編程語言（“If you See What I Mean”的首字母縮寫），它可能是有據可考最早使用縮進分組代碼塊的語言（盡管它沒有實作），其設計者在《The Next 700 Programming Languages》中稱之為“Off-side rule”（越位規則）
• 1974 年唐納德·克努特（Donald Knuth，著名計算機科學家、圖靈獎獲得者，經典巨著《計算機程式設計藝術》的作者）發表在 ACM 通訊的文章《 Structured Programming with Go To Statements》，他在暢想未來的編程語言時說：We will perhaps eventually be writing only small modules which are identified by name as they are used to build larger ones, so that devices like indentation, rather than delimiters, might become feasible for expressing local structure in the source language，

值得注意的是，唐納德提供的參考材料正是 1965 年 ISWIM 之父的文章《The Next 700 Programming Languages》，里面收錄了多位大佬對于縮進的討論觀點，

受限于當時的計算機硬體及編輯器工具，以及考慮到印刷對代碼排版的現實性影響，純縮進分組的代碼確實可能會帶來一些麻煩，因此，這些編程界的先驅們僅僅是在大膽暢想未來的編程語言的語法，當時并沒有編程語言作出了實作，

從 1965 年的 ISWIM，到 1974 年唐納德的暢想，再到 1975 年 P.J. Plauger 激進的想法，再到 1980 年代 ABC 及 Python 的落地實作，20 多年的時間，說長確實是挺長了，

如今 2022 年即將過去，Python 已經度過了它的“而立之年”， 受這種設計思想影響的編程語言也遍地開花：據維基百科統計，有近 30 門語言使用“Off-side rule”，

盡管某些語言（如 Scala、Nemerle、Haskell）只是可選性或部分性支持，但這份串列意味著在花括號占據統治地位的時代，縮進的星星之火依然迸發著頑強的生命力，暢想未來，我相信這份串列會加進更多語言，但愿那時可以打破 Python 一枝獨秀的局面，

現在作一下總結吧，本文最先關注的是 Python 之父年輕時的導師的文章“Python 的起源”，但是我發現最吸引人的還是老生常談的縮進話題，于是文章主題轉向了“Python 的縮進語法的起源”，

不可否認，Python 的縮進語法屬于是較為大膽的編程風格，但換個角度，你也可以認為它很前衛，因為它本就起源于計算機科學家們在暢想未來的編程語言時的一種創意，

縮進語法簡潔、緊湊、清晰，它是營造出 Python 之美的最大功臣之一，人生苦短，我用 Python！

最后，如果你對 Python 其它語法的起源、為什么這樣設計、跟其它語言的區別等等話題感興趣，歡迎關注“Python 為什么”系列（請在 Github 上給顆小星星吧，喵~）

標籤：Python

上一篇：Python工具箱系列(二十)

下一篇：花了兩天從幾十萬行代碼里總結出的22個Python萬用公式，非常有用