為何要去尋找新的編程語言

我喜歡編程語言。每種語言都有自己的特點(diǎn)。最近，我開始糾結(jié)一個問題：如果開始自己的項目的話，我該用什么語言。

好多優(yōu)秀的編程語言

在閱讀此文之前，需要先說明幾件事情。雖然在工作中大部分的時候我都用 Java、JavaScript 和 Ruby 來創(chuàng)建產(chǎn)品應(yīng)用，但我一直在學(xué)習(xí)新的語言和新的框架。我相信，語言和語言（或框架）特有的社區(qū)能給你帶來新的思想，這些思想早晚會有用處：函數(shù)式編程可以給你帶來許多面向?qū)ο蟮木幊讨R，而全職從事 Rails 應(yīng)用可以給你許多測試的經(jīng)驗（如果你寫測試的話）。但問題是，如果你想學(xué)會所有每種語言的優(yōu)秀概念，那么最終會在各種優(yōu)秀的功能中迷失方向。

另一個關(guān)鍵點(diǎn)是，我一直在用控制臺。我使用電腦的絕大部分時間都是在用瀏覽器和控制臺。沒錯，我編程用的是 Vim。我喜歡沒有空值的類型系統(tǒng)（我喜歡可選類型），這種類型系統(tǒng)很強(qiáng)大。因此我不喜歡 Java 的類型系統(tǒng)，但我用過的最新版本只是 Java 6，所以很有可能現(xiàn)在的情況不一樣了！Java 的類型系統(tǒng)正是我嘗試 Ruby 的原因，因為 Ruby 社區(qū)總是在談?wù)撍麄兣c Java 的區(qū)別。聽上去就像是，如果我寫 Java 代碼，我實際上是在幫助編譯器干活，而不是編譯器幫我干活。

我想說的最后一件事就是我在尋覓的語言可能并不是你在尋找的語言！這篇文章里我會介紹一些我在最近幾個月在工作和個人項目中用過的語言。

Ruby

我很喜歡 Ruby。Ruby 是個非常強(qiáng)大的描述性語言，有許多成熟的函數(shù)庫（稱為“寶石”——gem），它們能幫你快速建立應(yīng)用。Rails 已經(jīng)非常成熟，非常容易使用。測試在社區(qū)的融入程度比任何其他語言都要深。Ruby 是個純粹的面向?qū)ο笳Z言，所以不管你使用什么函數(shù)庫，大多數(shù)代碼都有相同風(fēng)格的 API，即類的 API。社區(qū)也很強(qiáng)大，Ruby 的開發(fā)者似乎會給已有的函數(shù)庫貢獻(xiàn)代碼，而不是每次都編寫自己的函數(shù)庫（比如廣為流傳的 ActiveRecord 和 Sequel 就是很好的例子）。這種共識幫助人們擴(kuò)展函數(shù)庫，其中的例子之一就是 Rails Admin 的 gem。

在速度方面 Ruby 并不是最快的。部署通常很重，需要很長時間才能加載。使用 Ruby 很愉快，但在現(xiàn)實中，運(yùn)行 Rails 應(yīng)用需要很多時間和很多成本，特別是在 Heroku、AWS ECS 等“無服務(wù)器”的容器平臺上，因為它要占用許多內(nèi)存、磁盤空間、流量和啟動時間，而這些都要額外花錢。在本地運(yùn)行 Rails 完全沒問題，Bundler 也很好用，但有時候它的“熱重載”機(jī)制會出問題。

JavaScript

我也喜歡 JavaScript。絕大多數(shù)前端工作都是在 Web 上，因為每個人都有瀏覽器，所以發(fā)布很容易。所以使用其他語言似乎是件很奇怪的事情：“能招一個人為什么要招兩個？”JavaScript 也很容易學(xué)習(xí)，而且因為它流傳甚廣、易于上手，所以使用 JavaScript 基本不會有錯。使用這個簡單的語言實現(xiàn)原型非常容易，你可以直接啟動 node 命令行環(huán)境，或者直接打開 devtools！它們非常好用，任何開發(fā) web 的人知道它們，所以你有很多開發(fā)者！太好了。

難怪這是我們 Wix 使用的主要語言。

但是，JS 也有問題。npm 模塊的狀態(tài)與 JS 的狀態(tài)不一樣，在類型系統(tǒng)方面社區(qū)有分歧（Flow vs. TS），函數(shù)庫和其他東西也是。我也有自己的喜好，所以……我覺得我也是社區(qū)的一部分。這種缺乏“社區(qū)精選”的結(jié)果就是雖然 npm 上有很多模塊，但很多模塊都不成熟。我?guī)啄昵皩戇^一篇文章，講述的是我在完全使用 JavaScript 幾年后又轉(zhuǎn)回 Ruby 的故事。我稱之為“倒退”。

Swift

最近我開始學(xué)習(xí) Swift 進(jìn)行 iOS 開發(fā)。之前我對它的了解為零，因為我了解的一切都只是怎樣創(chuàng)建 React 應(yīng)用。雖然這沒什么問題，但我想嘗試些新東西。

Swift 是個靜態(tài)類型的編譯語言。它最初被用于 Apple 生態(tài)環(huán)境下的應(yīng)用程序開發(fā)，但它是開源的，現(xiàn)在也可以用來開發(fā) Linux 上的可執(zhí)行文件。我知道的最多產(chǎn)的一名 npm 作者 Sindre Sorhus 說他想做更多 Swift 的工作。我完全理解他！Swift 的快速啟動時間和好用的編譯過程可以保證運(yùn)行時的錯誤越來越少。而且它沒有 NULL 值，但是卻有 Optional 類型。在 throw 之前必須明確聲明函數(shù)會 throw 的內(nèi)容，但并不是像 Java 那樣通過 throws 聲明進(jìn)行，而是有個非常巧妙地語法糖，就像是“try 一下，如果萬一失敗還有 optional”。模式匹配通過與 Swift 枚舉類型的完美配合，變得非常強(qiáng)大。它還有類型推斷，雖然在方法定義中不能使用，但我覺得應(yīng)該問題不大。真是個完美的語言！

但為什么 Swift 不是我的最終選擇？因為 Swift 只適合在 XCode 中使用。通常我使用 Vim，用別的編輯器會覺得效率很低。我嘗試過 VSCode 和 Atom，但都不太好。也許，最終我會寫一個 Swift CLI 工具能幫我編寫編輯器插件來改善開發(fā)體驗，但至少現(xiàn)在這個東西還不存在。Swift 也沒有靜態(tài)編譯，所以你必須設(shè)置好 Swift 才能使用命令行程序。對于 Mac 應(yīng)用來說這不是問題，但在 Linux 服務(wù)器上，我希望編譯出的二進(jìn)制文件能包含一切。

ReasonML

我很喜歡這個 Facebook 為 OCaml 做的嶄新語法。整個工具鏈感覺很成熟、很優(yōu)秀。OCaml 的包管理器 OPAM 自帶表情圖標(biāo)，讓這個看上去很老的工具其實不是那么老。Merlin 和 OCaml/Reason 語言服務(wù)器也非常優(yōu)秀，而且能與 Vim 配合得很好。它還有個完美工作的自動完成引擎（?。?、跳轉(zhuǎn)到定義、鼠標(biāo)懸停類型定義和更多的功能。優(yōu)秀的開發(fā)工具從編輯器中分離，對于一門語言來說這是非常好的。

Reason 可以用 BuckleScirpot 編譯成 JS，因此可以將 Reason/OCaml 代碼轉(zhuǎn)換成高性能的 JS 代碼。這非常好，因為這就相當(dāng)于 JS 也有了類型系統(tǒng)，你還可以享受 JS 的函數(shù)庫。我很喜歡它。實際上，我唯一不喜歡的就是我得建立大量的類型定義才能使用依賴，但通常這并不是問題：我們不需要對整個模塊建模，只需要對輸入、輸出和使用到的特定函數(shù)、類和方法建模即可。因為 Reason 并不是完全的函數(shù)式（有副作用），因此在我看來， Reason 是最好的能編譯成 JS 的語言。

Reason 也能編譯成字節(jié)碼或原生代碼。使用純 OCaml/Reason 意味著只要編譯器通過，就不會有運(yùn)行時的錯誤，它也能靜態(tài)編譯，生成很小的二進(jìn)制文件，啟動速度也很快。而且它編譯速度非常快！

在嘗試原生 Reason 應(yīng)用時我遇到的最大問題就是我不知道別人在干什么，別人怎樣使用函數(shù)庫。大多數(shù)人都使用OCaml，但因為 OCaml 和 Reason 可以互換，所以我可以用 Chrome 擴(kuò)展把 OCaml 當(dāng)做 Reason 來閱讀。但依然不清楚。一些 OCaml 代碼不能轉(zhuǎn)換成 Reason，也許是因為 Chrome 插件中缺乏 PPX。據(jù)我的理解，PPX 是一種語法擴(kuò)展，基本上就是一些宏，將代碼從一種語法轉(zhuǎn)換成另一種語法?？梢岳斫獬?Babel 插件或類似的東西。原生的 Reason/OCaml 不支持多核心，但要想實現(xiàn)并發(fā)，可以使用 Lwt，這是個類似于 Promise 的庫。但我還沒找到哪怕一篇 Lwt 的指南或文章！

而且，似乎即使是原生 OCaml/Reason開發(fā)，入門的門檻也非常高，而且非常打擊積極性。社區(qū)不會解答問題也不會分享知識，絕大多數(shù)情況下都是要求提問者去看源代碼或借口，但我相信最終這會改變，因為這只是 JS 開發(fā)的開始。

Golang

Go 是個非常好的語言。它很容易學(xué)習(xí)，編譯和運(yùn)行都很快，還有 goroutine 和通過 CSP 實現(xiàn)的簡單并發(fā)。它支持多核心，而且可以編譯出靜態(tài)二進(jìn)制文件，能在最簡潔的Linux上快速啟動。它在變量定義時有類型推斷，但函數(shù)定義中沒有。它支持接口，看上去像是來自于有良好基礎(chǔ)的專業(yè)社區(qū)。

實際上，有很多很強(qiáng)大的模塊和應(yīng)用都是用 Go 寫成的，如 Docker、Kubernetes、CockroachDB，意味著你有可能將這些二進(jìn)制文件作為基礎(chǔ)設(shè)施的一部分，從而實現(xiàn)小型的、簡單的分發(fā)（如在樹莓派上）。這一點(diǎn)非常強(qiáng)大。

在公用數(shù)據(jù)結(jié)構(gòu)（圖、樹等）和算法方面，它沒有泛型（也許下個版本就會加上了），我覺得這一點(diǎn)很奇怪：你必須每次都編寫同樣的代碼，或者使用代碼生成，雖然也能用，但我更希望編譯器能幫我完成這一切。而且，我并沒有完全理解它的模塊系統(tǒng) VGO，但我猜測隨著社區(qū)對之越來越熟悉，以后會有更多的信息和更簡單的指南。最后一點(diǎn)個人意見，我認(rèn)為語言本身不太干凈。我知道，這并不是不使用某個語言的理由，但至少我不會完整地測試它，或者在個人項目中使用它。Go 語言本身并不有趣。它很簡單，很無聊，很好。我相信最后我會在某個正式系統(tǒng)中使用并愛上它。人的口味會變化！

Crystal

這篇文章以 Ruby 開始，那么我們以 Crystal 結(jié)束吧。

Crystal 是另一門非常新的語言，它還沒到 1.0 版本。看上去很像 Ruby，但它是編譯語言，有靜態(tài)類型，而且很快！它像 Ruby 一樣支持 OOP，而且有很多很不錯的功能，如類型推斷、optinoal 類型、用于并發(fā)的 CSP 和編譯時宏，有點(diǎn)像 Golang 的 codegen，但它的編譯器本身就支持。Crystal 有幾個新的 Web 框架，比如 Lucky 和 Amber。還有 Kemal，雖然它是 Sinatra 的，但也可以用在 Crystal 上。還有 ORM，而且由于 Crystal 重構(gòu)了 Ruby（用 Elixir 做了些修飾），你會發(fā)現(xiàn)它的 ORM 的 API 與 Ruby 幾乎相同，而且還有類型安全。這個非常重要！

由于這個語言還非常年輕，所以它還需要一段時間才能用于產(chǎn)品。我喜歡 Crystal 的并發(fā)，它能使用所有的核心，就像 Go 語言一樣，但 Crystal 不需要手動去 fork。我還喜歡它拋出異常會返回 result 類型，這樣錯誤處理可以明確進(jìn)行了。我希望枚舉能有自己的值，這樣就能像 Swift 和 OCaml 一樣使用了。更好的編輯器支持也是必要的，自動完成、鼠標(biāo)懸停類型提示都非常有用。此外，使用 Scry 可以使語言服務(wù)器的自動完成用于標(biāo)準(zhǔn)庫，但無法用于用戶自己的代碼。我還有點(diǎn)擔(dān)心 Crystal 不會到達(dá)發(fā)布 1.0 的那一天，但我真心希望它能發(fā)布。

可能你也看出來了，我希望未來的編程語言能夠吸取 Crystal、Go 和 ReasonML 的優(yōu)點(diǎn)。我不確定我喜歡哪種，但我覺得這些都是候選。我覺得我只需要等待，看看這些語言在未來幾個月或幾年會變成什么樣子。