Go語言起源

編程語言的演化跟生物物種的演化類似，一個成功的編程語言的後代一般都會繼承它們祖先的優點；當然有時多種語言雜合也可能會產生令人驚訝的特性；還有一些激進的新特性可能並沒有先例。通過觀察這些影響，我們可以學到為什麼一門語言是這樣子的，它已經適應了怎樣的環境。

下圖展示了有哪些早期的編程語言對Go語言的設計產生了重要影響。

Go語言有時候被描述為“C類似語言”，或者是“21世紀的C語言”。Go從C語言繼承了相似的表達式語法、控制流結構、基礎數據類型、調用參數傳值、指針等很多思想，還有C語言一直所看中的編譯後機器碼的運行效率以及和現有操作系統的無縫適配。

但是在Go語言的家族樹中還有其它的祖先。其中一個有影響力的分支來自Niklaus Wirth所設計的Pascal語言。然後Modula-2語言激發了包的概念。然後Oberon語言摒棄了模塊接口文件和模塊實現文件之間的區別。第二代的Oberon-2語言直接影響了包的導入和聲明的語法，還有Oberon語言的面向對象特性所提供的方法的聲明語法等。

Go語言的另一支祖先，帶來了Go語言區別其他語言的重要特性，靈感來自於貝爾實驗室的Tony Hoare於1978年發表的鮮為外界所知的關於併發研究的基礎文獻 順序通信進程 （ communicating sequential processes ，縮寫為CSP。在CSP中，程序是一組中間沒有共享狀態的平行運行的處理過程，它們之間使用管道進行通信和控制同步。不過Tony Hoare的CSP只是一個用於描述併發性基本概念的描述語言，並不是一個可以編寫可執行程序的通用編程語言。

接下來，Rob Pike和其他人開始不斷嘗試將CSP引入實際的編程語言中。他們第一次嘗試引入CSP特性的編程語言叫Squeak（老鼠間交流的語言），是一個提供鼠標和鍵盤事件處理的編程語言，它的管道是靜態創建的。然後是改進版的Newsqueak語言，提供了類似C語言語句和表達式的語法和類似Pascal語言的推導語法。Newsqueak是一個帶垃圾回收的純函數式語言，它再次針對鍵盤、鼠標和窗口事件管理。但是在Newsqueak語言中管道是動態創建的，屬於第一類值，可以保存到變量中。

在Plan9操作系統中，這些優秀的想法被吸收到了一個叫Alef的編程語言中。Alef試圖將Newsqueak語言改造為系統編程語言，但是因為缺少垃圾回收機制而導致併發編程很痛苦。（譯註：在Alef之後還有一個叫Limbo的編程語言，Go語言從其中借鑑了很多特性。 具體請參考Pike的講稿：http://talks.golang.org/2012/concurrency.slide#9 ）

Go語言的其他的一些特性零散地來自於其他一些編程語言；比如iota語法是從APL語言借鑑，詞法作用域與嵌套函數來自於Scheme語言（和其他很多語言）。當然，我們也可以從Go中發現很多創新的設計。比如Go語言的切片為動態數組提供了有效的隨機存取的性能，這可能會讓人聯想到鏈表的底層的共享機制。還有Go語言新發明的defer語句。