Erlang和Golang的幾點粗淺的比較

這是一個建立於 的文章，其中的資訊可能已經有所發展或是發生改變。

我最早使用的語言是Java和Python， 並且一直都對Python充滿好感， 我喜歡這種很樸實和高效率的感覺， 但我卻最後沒有採用Python，原因其實也很簡單， 我就是不喜歡縮排文法， 就跟很多人換工作僅僅是為了螢幕更大一點一樣， 另外就是有了同樣很棒的可選方案， 這就是Ruby， 所以我最終採用了Ruby作為主力程式設計語言， 同樣也為不能使用Python而有一點小遺憾，畢竟Python的健壯性比Ruby好很多，只不過Ruby也一直在進步， 所以這一點無傷大雅

我們都知道，無論是Python還是Ruby，甚至Java， 都是在解決業務層的問題， 屬於應用型語言， 以解決商務邏輯為主， 但還有一個領域是系統領域，偏網路層和底層操作，在這一塊我一直在尋找一種優雅的方案， C++被我首先給淘汰掉了， C的開發效率太低， Java倒是比較合適， 就是太臃腫，而且缺少系統編程的基因，畢竟它是企業級開發出身的

最後我選擇了Erlang， 因為它在網路層方面表現優秀， 同時容錯性和健壯性都很不錯， 它的虛擬機器是唯一可以跟JVM媲美的， 而且還有OTP的超重量級武器， 幾乎可以是通殺網路層應用， 但根據我的總結它有一個硬傷和一個軟肋，這一點後面展開，可以說選擇Erlang是我目前所知道的方案裡面是最優的

直到有一天我瞭解了Golang， 我知道Golang其實也蠻早的， 大概08年的時候就知道Google在搞一門奇怪的語言， 之後的幾年，一直有不少以老莫為代表的人在嘀咕Golang， 其實我一直沒太關注，我從ROR中吸取的經驗是，成熟度等級對於商用很重要， 後來基於Golang開發的產品越來越多，讓我不得不去研究一下， 這我才知道， 這就是我夢想中的Python， 效率和效能達到了最佳的平衡，對Go瞭解越多， 就越不願意用Erlang寫代碼，主要原因：

1、Erlang的硬傷在於代碼的可讀性、表現力， 讓我來舉個小例子， 比如你為你的系統軟體構建一個RESTFUL的介面，我們大致瞭解一下代碼風格， 用Erlang: https://github.com/extend/cowboy/tree/master/examples  用Go:http://code.google.com/p/goweb/wiki/GetStarted，先不說Erlang， 無論是你c/c++/python/ruby/java 出身， 對Go是不是有種很久違的感覺, 為什麼說是硬傷？ 因為對一門語言來說，文法是不大可能會大幅度變更的， 而且不會出現大的變化， 我不知道有沒有人讀過《松本行弘的編程世界》，裡面闡述的道理很明白， 真正好的編程方式是人去主宰電腦而不是電腦主宰人， 我感覺Erlang就有點主宰我的編程思維的感覺(我的視力本身就不好，它還在不斷的扼殺我的眼睛！)， 編程首先是門邏輯學，其次是工程學，最後才是數學， 又讓我想起吳軍的《數學之美》所說的， 人工智慧上個世紀一直在走彎路， 期望機器的高度圖靈完備， 而忽視人類本身已有的文明，統計歸納的應用

2、Erlang的軟肋在於高品質的庫少，儘管有不少殺手級應用， 同樣Go在這方面也是軟肋， 這一點對於一個不到五年的語言有情可原， 但對於一個20多年的語言是不是有點說不過去， 比如你用json解析庫，很多人都是從mochiweb這個基本不更新的庫中去抽取， 而我認為對於類似json這種東西可以考慮融入到語言標準庫中， 因為未來的商業軟體的api化趨勢越來越明顯，說的難聽點 ， 一個倚老賣老一個與時俱進，反正我對Golang的庫一點也不擔心， 目前的成績易經非常棒了， 遠遠優於Ruby/Python的前五年， 可參見已有的高品質的庫列表 http://go-lang.cat-v.org/pure-go-libs

3、Erlang不合群， 這主要體現在跟其他語言的互動性上， 當然這也有深層次的原因， Erlang本身有自己的哲學， 如出錯恢複機制， 你融入一個其他語言的東西進去， 這帳就不好算，就好比你硬要讓一個喝咖啡的跟一個吃大蒜的坐在一起， 總之你寫一個Erlang的port遠遠比Go複雜， 甚至比Python/Java還要複雜， 這就造成了Erlang在底層編程上效果不是很好， 沒法利用linux已有的很多優秀成果，我一直認為Erlang的什麼的mysql/pg/oracle驅動都沒有必要存在， Erlang一定是一個self-container應用， 你只要用到了其他東西， 根據木桶理論， 你就不敢號稱9個9，以系統的眼光看問題， 我覺得一個系統的魯棒性不能依賴於某一組件， 這也是為什麼愛立信本身的Erlang應用並不廣泛

4、說說資料類型吧， 我不止聽到1個人說Erlang對字串的處理不有好， 它把string當做list來處理，其實本質上是該這麼，但，還是那句話， 違背了面向人的哲學， 應該做一些DSL， 比如Golang裡面的 := 就是一個糖衣， 等價於 var xx yyy = zzzz， 大大方便的程式員少敲不少字元, Golang裡面對字元轉可以說基本和python差不多， slice map函數很強大， 支援lambda條件，雖然Erlang的基本類型很少， 但有很多構造， 所謂構造等價於Golang裡面複雜的struct， 也奇怪了，我就是感覺Erlang構造傷眼睛好嗎？可能是各種括弧的比對的原因吧， 而且我認為這是不必要的， 顯然Erlang缺少DSL的基因， 當然跟Erlang出身的年代有關， 我不誇張的說， 自打用Erlang以後我的視力又下降了100度左右， 我不是很喜歡lisp所說的符號也是一種文法， 可能這又跟函數式編程有關吧：形式推導遠大於邏輯演繹

5、其實我最不關注的是效能問題， 因為隨著摩爾定律， 單位計算單元的性價比會無限高，但Golang既然提出它的效能逼近C， 那我還是提一下吧， 當然， Erlang也還可以， 雖然比Java慢， 但跟Python一個檔次吧

6、再談談報錯機制， 因為Erlang的的報錯資訊太讓人糾結了， 起初以為我不會看出錯資訊， 後來也使用了Sasl， 還是不夠直觀，甚至有時要用工具分析crash檔案來定位問題，還是跟Erlang的哲學有關， 在Erlang中一切都是並行的， 所以它根本不care是物理哪一行出錯， 只跟Actor綁定， 然後告訴你Actor的ID和出錯代號， 你自己憑經驗去分析吧，這樣做的好處是可以很方便定位出並行中出現的問題，但凡事都是相對的， 在這一點上有點糾枉過正，根據我的經驗， 絕大部分時候我只希望先給我明確的指出哪一行出錯了好嗎？ 甚至把順序的backtrace用完整的英文句子列印出來好嗎？至於並行中的錯誤及時在命令式多線程語言中是不常見的，雖然並不是沒有， 但遇到錯誤我再費勁去調試好了， 但並不是所有的邏輯都用並行的思維去定位問題， 我甚至認為， 對於一個系統不完全是並行也不完全是串列，跟好比我們衡量世界不能單純的唯物也不能完全的唯心一樣， 這一點Golang就做了很好的折中， 不需要並行的時候你老老實實的寫串列代碼， 需要並行的時候也有較複雜的機制來應對， 合乎情理

7、再說說招人吧， 以前招過好幾個C出來的人，說實話水平很好， 可以一周就完成一個小工具， libevent用的熟的很，後來我逼人家用Erlang，結果把人家逼走了，至今我還很後悔， 自己的一廂情願強加在別人身上真是太不合適了，但我招純Erlang出來的人，可以說比招objc的人還難， 沒有人，空談技術的優雅性首先就是不靠譜的，再看看郵件清單， Golang的活躍度明顯比Erlang高很多，看看周末Golang的討論 http://www.douban.com/photos/photo/1683652416/， 基本逼近Ruby，更重要的是， 我根本不擔心Golang的人才，因為只要熟悉Python/C/Ruby/或者C++， 基本可以實現半天入門， 之後就可以劈裡啪啦邊搜資料邊幹活了，雖然有足夠的深度，但門檻極其平緩，工程人員也可以複用很多已有的知識。 Erlang在這一點其實跟第一點硬傷有關，大部分人學一周都摸不著頭腦，不是每個人的抽象思維和世界觀都是一樣的好嗎， 所以函數式編程儘管不比命令式語言起步晚，但始終學的人很少，這就是曆史， 對於大部分人， 更希望解決問題，創造價值， 而不是數學來推導去

8、最後我建議， 如果你是玩c/c++的， 現在開始學Golang，是最好的時機， 跟一門靠譜的語言一起成長， 這種感覺非常棒， 你用Erlang折騰1個應用， 用Go恐怕都完成了10個開源項目， 當然，也要結合自己的口味， Golang就是Sublime Text， Erlang就是Emacs