事件回顧 

?上周，谷歌Go語言項(xiàng)目負(fù)責(zé)人Steve Francia宣布辭去職務(wù)，而他給出理由是：Go項(xiàng)目的工作停滯不前，讓他感到難受。有意思的是，部分國內(nèi)的Gopher（Go語言愛好者的自稱）對Go語言也產(chǎn)生了新想法。比如，國內(nèi)第一批Go語言愛好者之一的柴樹杉、全球Go貢獻(xiàn)者榜上長期排名TOP 50的史斌等Gopher，他們決定以Go語言為藍(lán)本，發(fā)起新的編程語言：凹語言?（凹讀音“Wa”）。

目前凹語言?的代碼已經(jīng)在Github開源，并且提供了簡單可執(zhí)行的示例。根據(jù)其倉庫的介紹，凹語言?的設(shè)計(jì)目標(biāo)有以下幾個(gè)：1、披著Go和Rust語法外衣的C++語言2、凹語言?源碼文件后綴為.wa3、凹語言?編譯器兼容WaGo語法，凹語法與WaGo語法在AST層面一致（二者可生成相同的AST并無損的互相轉(zhuǎn)換）4、凹語言?支持中文/英文雙語關(guān)鍵字，即任一關(guān)鍵字均有中文版和英文版，二者在語法層面等價(jià)

凹語言?示意，圖片來源@GitHub

據(jù)柴樹杉、史斌等人的說法，Go語言“克制”的風(fēng)格是他們對編程語言審美的最大公約數(shù)。因此，凹語言?項(xiàng)目啟動(dòng)時(shí)大量借鑒了Go的設(shè)計(jì)思想和具體實(shí)現(xiàn)。

當(dāng)然，他們也表示，選擇Go語言作為初始的藍(lán)本，是在有限投入下不得不作出的折衷。他們希望隨著項(xiàng)目的發(fā)展，積累更多原創(chuàng)的設(shè)計(jì)，為自主創(chuàng)新的大潮貢獻(xiàn)一點(diǎn)力量。雖說柴樹杉、史斌等人是資深的Gopher，偏愛Go語言并不難理解，但我們還是忍不住好奇：究竟Go語言有多神奇，讓他們對Go語言這么著迷？

為什么選中Go語言 

許多使用過Go語言的開發(fā)者對Go的評價(jià)上看，Go語言在設(shè)計(jì)上有以下四個(gè)特點(diǎn)。

1、簡單易用?
不同于那些通過相互借鑒而不斷增加新特性的主流編程語言（如C++、Java等），Go的設(shè)計(jì)者們在語言設(shè)計(jì)之初就拒絕走語言特性融合的道路，而選擇了“做減法”。

他們把復(fù)雜留給了語言自身的設(shè)計(jì)和實(shí)現(xiàn)，留給了Go核心開發(fā)組，而將簡單、易用和清晰留給了廣大使用Go語言的開發(fā)者。因此，Go語言呈現(xiàn)出：

• 簡潔、常規(guī)的語法（不需要解析符號表），僅有25個(gè)關(guān)鍵字；
• 沒有頭文件；
• 顯式依賴（package）；
• 沒有循環(huán)依賴（package）；
• 常量只是數(shù)字；
• 首字母大小寫決定可見性；
• 任何類型都可以擁有方法（沒有類）；
• 沒有子類型繼承（沒有子類）；
• 沒有算術(shù)轉(zhuǎn)換；
• 沒有構(gòu)造函數(shù)或析構(gòu)函數(shù)；
• 賦值不是表達(dá)式；
• 在賦值和函數(shù)調(diào)用中定義的求值順序（無“序列點(diǎn)”概念）；
• 沒有指針?biāo)阈g(shù)；
• 內(nèi)存總是初始化為零值；
• 沒有類型注解語法（如C++中的const、static等）
• ……

2、偏好組合?

C++、Java等主流面向?qū)ο笳Z言，通過龐大的自上而下的類型體系、繼承、顯式接口實(shí)現(xiàn)等機(jī)制，將程序的各個(gè)部分耦合起來，但在Go語言中我們找不到經(jīng)典面向?qū)ο蟮恼Z法元素、類型體系和繼承機(jī)制。

那Go語言是如何將程序的各個(gè)部分耦合在一起呢？是組合。

在語言設(shè)計(jì)層面，Go使用了正交的語法元素，包括Go語言無類型體系，類型之間是獨(dú)立的，沒有子類型的概念；每個(gè)類型都可以有自己的方法集合，類型定義與方法實(shí)現(xiàn)是正交獨(dú)立的。
各類型之間通過類型嵌入，將已經(jīng)實(shí)現(xiàn)的功能嵌入新類型中，以快速滿足新類型的功能需求。在通過新類型實(shí)例調(diào)用方法時(shí)，方法的匹配取決于方法名字，而不是類型。
另外，通過在接口的定義中嵌入接口類型來實(shí)現(xiàn)接口行為的聚合，組成大接口，這種方式在標(biāo)準(zhǔn)庫中尤為常用，并且已經(jīng)成為Go語言的一種慣用法。

這是Go語言的一個(gè)創(chuàng)新設(shè)計(jì)：接口只是方法集合，且與實(shí)現(xiàn)者之間的關(guān)系是隱式的，如此可讓程序各個(gè)部分之間的耦合降至最低。
3、并發(fā)和輕量?

Go語言的三位設(shè)計(jì)者Rob Pike、Robert Griesemer和Ken Thompson曾認(rèn)為C++標(biāo)準(zhǔn)委員會(huì)在思路上是短視的，因?yàn)橛布芸赡茉谖磥硎陜?nèi)發(fā)生重大變化，將語言與當(dāng)時(shí)的硬件緊密耦合起來是十分不明智的，是沒法給開發(fā)人員在編寫大規(guī)模并發(fā)程序時(shí)帶去太多幫助的。
因而他們把將面向多核、原生內(nèi)置并發(fā)支持作為新語言的設(shè)計(jì)原則之一。

Go語言原生支持并發(fā)的設(shè)計(jì)哲學(xué)體現(xiàn)在下面兩點(diǎn)。
（1）Go語言采用輕量級協(xié)程并發(fā)模型，使得Go應(yīng)用在面向多核硬件時(shí)更具可擴(kuò)展性。（2）Go語言為開發(fā)者提供的支持并發(fā)的語法元素和機(jī)制。
4、面向工程?

Go語言的設(shè)計(jì)者在Go語言最初設(shè)計(jì)階段，就將解決工程問題作為Go的設(shè)計(jì)原則之一，進(jìn)而考慮Go語法、工具鏈與標(biāo)準(zhǔn)庫的設(shè)計(jì)，這也是Go與那些偏學(xué)院派、偏研究性編程語言在設(shè)計(jì)思路上的一個(gè)重大差異。
這讓Go語言的規(guī)范足夠簡單靈活，有其他語言基礎(chǔ)的程序員都能迅速上手。更重要的是Go自帶完善的工具鏈，大大提高了團(tuán)隊(duì)協(xié)作的一致性。比如Gofmt自動(dòng)排版Go代碼，很大程度上杜絕了不同人寫的代碼排版風(fēng)格不一致的問題。把編輯器配置成在編輯存檔的時(shí)候自動(dòng)運(yùn)行Gofmt，這樣在編寫代碼的時(shí)候可以隨意擺放位置，存檔的時(shí)候自動(dòng)變成正確排版的代碼。此外還有Gofix，Govet等非常有用的工具。

總之，Go在語言層面的簡單讓Go收獲了不遜于C++/Java等的表現(xiàn)力的同時(shí)，還獲得了更好的可讀性、更高的開發(fā)效率等在軟件工程領(lǐng)域更為重要的元素。

凹語言?的未來 

雖然今天，Go憑借其優(yōu)越的性能，已經(jīng)成為主流編程語言之一（超過75%的CNCF項(xiàng)目，包括Kubernetes和Istio，都是用Go編寫的，另外，Go也是主要的云應(yīng)用程序語言之一），Go語言在中國也相當(dāng)受歡迎，但我們還是不禁擔(dān)心脫胎于Go的凹語言?，會(huì)有美好的未來嗎？

預(yù)測未來從來都是困難的，不過，好在凹語言?的前面有一個(gè)先行者——Go+語言，我們不妨基于Go+的發(fā)展，來大致推測凹語言?的未來。

Go+是七牛云CEO許式偉發(fā)明的編程語言，于2020年7月正式發(fā)布，2021年10月推出1.0版本，目前最新發(fā)布版本是今年6月13日發(fā)布的1.1版本。也就是說，從正式發(fā)布到現(xiàn)在，經(jīng)過近兩年的時(shí)間，Go+還處于初始階段，距離大規(guī)模應(yīng)用還有一定距離，那么可以預(yù)見，凹語言?在未來相當(dāng)長的時(shí)間里，不會(huì)進(jìn)入廣大開發(fā)者的視野中。

另外，據(jù)ECUG Con 2022大會(huì)上許式偉發(fā)表的看法，雖然大家都比較看重編程語言的性能，但單從性能來看的話，許式偉認(rèn)為Python在腳本語言里面只能算二流，Python其實(shí)并不快。在許式偉看來，對新生的語言來說，最重要它選擇的目標(biāo)人群。

Go+選擇的目標(biāo)人群是全民，許式偉稱其為“連兒童也能掌握的語言”，因而Go+從工程與STEM教育的一體化開始奠定用戶基礎(chǔ)。

正是Go+的這幾個(gè)特性，讓一部分開發(fā)者看好Go+的未來。而對Go+的正向預(yù)期，會(huì)成為Go+進(jìn)一步發(fā)展的助力。

對凹語言?來說，這個(gè)道理也是適用的：凹語言?的發(fā)展重點(diǎn)可能不在于性能，而在于其選擇哪些人群作為目標(biāo)受眾，以及通過何種方式獲得種子用戶。

如果日后凹語言?的項(xiàng)目方會(huì)公布這些消息，那么凹語言?的未來還是可以期待的。