本文主要是介紹Go，從語言對(duì)比分析的角度切入。之所以選擇與Python、Erlang對(duì)比，是因?yàn)樽鰹楦呒?jí)語言，它們語言特性上有較大的相似性，不過最主要的原因是這幾個(gè)我比較熟悉。

Go的很多語言特性借鑒與它的三個(gè)祖先：C，Pascal和CSP。Go的語法、數(shù)據(jù)類型、控制流等繼承于C，Go的包、面對(duì)對(duì)象等思想來源于Pascal分支，而Go最大的語言特色，基于管道通信的協(xié)程并發(fā)模型，則借鑒于CSP分支。

Go/Python/Erlang語言特性對(duì)比

 如《編程語言與范式》一文所說，不管語言如何層出不窮，所有語言的設(shè)計(jì)離不開2個(gè)基本面：控制流和數(shù)據(jù)類型。為了提升語言描述能力，語言一般都提供控制抽象和數(shù)據(jù)抽象。本小節(jié)的語言特性對(duì)比也從這4個(gè)維度入手，詳見下圖（點(diǎn)擊見大圖）。

圖中我們可以看出，相比于Python的40個(gè)特性，Go只有31個(gè)，可以說Go在語言設(shè)計(jì)上是相當(dāng)克制的。比如，它沒有隱式的數(shù)值轉(zhuǎn)換，沒有構(gòu)造函數(shù)和析構(gòu)函數(shù)，沒有運(yùn)算符重載，沒有默認(rèn)參數(shù)，也沒有繼承，沒有泛型，沒有異常，沒有宏，沒有函數(shù)修飾，更沒有線程局部存儲(chǔ)。

但是Go的特點(diǎn)也很鮮明，比如，它擁有協(xié)程、自動(dòng)垃圾回收、包管理系統(tǒng)、一等公民的函數(shù)、棧空間管理等。

Go作為靜態(tài)類型語言，保證了Go在運(yùn)行效率、內(nèi)存用量、類型安全都要強(qiáng)于Python和Erlang。

Go的數(shù)據(jù)類型也更加豐富，除了支持表、字典等復(fù)雜的數(shù)據(jù)結(jié)構(gòu)，還支持指針和接口類型，這是Python和Erlang所沒有的。特別是接口類型特別強(qiáng)大，它提供了管理類型系統(tǒng)的手段。而指針類型提供了管理內(nèi)存的手段，這讓Go進(jìn)入底層軟件開發(fā)提供了強(qiáng)有力的支持。

Go在面對(duì)對(duì)象的特性支持上做了很多反思和取舍，它沒有類、虛函數(shù)、繼承、泛型等特性。Go語言中面向?qū)ο缶幊痰暮诵氖墙M合和方法(function)。組合很類似于C語言的struct結(jié)構(gòu)體的組合方式，方法類似于Java的接口(Interface)，但是使用方法上與對(duì)象更加解耦，減少了對(duì)對(duì)象內(nèi)部的侵入。Erlang則不支持面對(duì)對(duì)象編程范式，相比而言，Python對(duì)面對(duì)對(duì)象范式的支持最為全面。

在函數(shù)式編程的特性支持上，Erlang作為函數(shù)式語言，支持最為全面。但是基本的函數(shù)式語言特性，如lambda、高階函數(shù)、curry等，三種語言都支持。

控制流的特性支持上，三種語言都差不多。Erlang支持尾遞歸優(yōu)化，這給它在函數(shù)式編程上帶來便利。而Go在通過動(dòng)態(tài)擴(kuò)展協(xié)程棧的方式來支持深度遞歸調(diào)用。Python則在深度遞歸調(diào)用上經(jīng)常被爆棧。

Go和Erlang的并發(fā)模型都來源于CSP，但是Erlang是基于actor和消息傳遞（mailbox）的并發(fā)實(shí)現(xiàn)，Go是基于goroutine和管道（channel）的并發(fā)實(shí)現(xiàn)。不管Erlang的actor還是Go的goroutine，都滿足協(xié)程的特點(diǎn)：由編程語言實(shí)現(xiàn)和調(diào)度，切換在用戶態(tài)完成，創(chuàng)建銷毀開銷很小。至于Python，其多線程的切換和調(diào)度是基于操作系統(tǒng)實(shí)現(xiàn)，而且因?yàn)镚IL的大坑級(jí)存在，無法真正做到并行。