已經(jīng)有好多程序員都把Go語言描述為是一種所見即所得(WYSIWYG)的編程語言。這是說，代碼要做的事和它在字面上表達的意思是完全一致的。 在這些新語言中，包含D，Go，Rust和Vala語言，Go曾一度出現(xiàn)在TIOBE的排行榜上面。與其他新語言相比，Go的魅力明顯要大很多。Go的成熟特征會得到許多開發(fā)者的欣賞，而不僅僅是因為其夸大其詞的曝光度。下面我們來一起探討一下谷歌開發(fā)的Go語言以及談?wù)凣o為什么會吸引眾多開發(fā)者： 快速簡單的編譯 Go編譯速度很快，如此快速的編譯使它很容易作為腳本語言使用。關(guān)于編譯速度快主要有以下幾個原因：首先，Go不使用頭文件；其次如果一個模塊是依賴A的，這反過來又取決于B，在A里面的需求改變只需重新編譯原始模塊和與A相依賴的地方；最后，對象模塊里面包含了足夠的依賴關(guān)系信息，所以編譯器不需要重新創(chuàng)建文件。你只需要簡單地編譯主模塊，項目中需要的其他部分就會自動編譯，很酷，是不是？ 通過返回數(shù)值列表來處理錯誤信息 目前，在本地語言里面處理錯誤的方式主要有兩種：直接返回代碼或者拋異常。這兩種都不是最理想的處理方式。其中返回代碼是非常令人沮喪的，因為返回的錯誤代碼經(jīng)常與從函數(shù)中返回的數(shù)據(jù)相沖突。Go允許函數(shù)返回多個值來解決這個問題。這個從函數(shù)里面返回的值，可以用來檢查定義的類型是否正確并且可以隨時隨地對函數(shù)的返回值進行檢查。如果你對錯誤值不關(guān)心，你可以不必檢查。在這兩種情況下，常規(guī)的返回值都是可用的。 簡化的成分（優(yōu)先于繼承） 通過使用接口，類型是有資格成為對象中一員的，就像Java指定行為一樣。例如在標準庫里面的IO包，定義一個Writer來指定一個方法，一個Writer函數(shù)，其中輸入?yún)?shù)是字節(jié)數(shù)組并且返回整數(shù)類型值或者錯誤類型。任何類型實現(xiàn)一個帶有相同簽名的Writer方法是對IO的完全實現(xiàn)，Writer接口。這種是解耦代碼而不是優(yōu)雅。它還簡化了模擬對象來進行單元測試。例如你想在數(shù)據(jù)庫對象中測試一個方法，在標準語言中，你通常需要創(chuàng)建一個數(shù)據(jù)庫對象，并且需要進行大量的初始化和協(xié)議來模擬對象。在Go里面，如果該方法需要實現(xiàn)一個接口，你可以創(chuàng)建任何對該接口有用的對象，所以，你創(chuàng)建了MockDatabase，這是很小的對象，只實現(xiàn)了幾個需要運行和模擬的接口——沒有構(gòu)造函數(shù)，沒有附件功能，只是一些方法。 簡化的并發(fā)性 相對于其他語言，并發(fā)性在Go里面顯得更加容易。把‘go’關(guān)鍵字放在任意函數(shù)前面然后那個函數(shù)就會在其go-routine自動運行（一個很輕的線程）。go-routines是通過通道進行交流并且基本上封鎖了所有的隊列消息。普通工具對相互排斥是有用，但是Go通過使用通道來踢掉并發(fā)性任務(wù)和坐標更加容易。 優(yōu)秀的錯誤消息 所有與Go相似的語言，自身作出的診斷都是無法與Go相媲美的。例如，一個死鎖程序，在Go運行時會通知你目前哪個線程導(dǎo)致了這種死鎖。編譯的錯誤信息是非常詳細全面和有用的。 其他 這里還有許多其他吸引人的地方，下面就一概而過的介紹一下，比如高階函數(shù)、垃圾回收、哈希映射和可擴展的數(shù)組內(nèi)置語言（部分語言語法，而不是作為一個庫）等等。 當然，Go并不是完美無瑕。在工具方面還有些不成熟的地方和用戶社區(qū)較小等，但是隨著谷歌語言的不斷發(fā)展，肯定會有整治措施出來。盡管許多語言，尤其是D、Rust和Vala旨在簡化C++并且對其進行簡化，但它們給人的感覺仍是“C++看上去要更好”。
創(chuàng)新互聯(lián)建站長期為1000多家客戶提供的網(wǎng)站建設(shè)服務(wù)，團隊從業(yè)經(jīng)驗10年，關(guān)注不同地域、不同群體，并針對不同對象提供差異化的產(chǎn)品和服務(wù)；打造開放共贏平臺，與合作伙伴共同營造健康的互聯(lián)網(wǎng)生態(tài)環(huán)境。為和田企業(yè)提供專業(yè)的成都網(wǎng)站制作、成都網(wǎng)站建設(shè)、外貿(mào)營銷網(wǎng)站建設(shè)，和田網(wǎng)站改版等技術(shù)服務(wù)。擁有十載豐富建站經(jīng)驗和眾多成功案例,為您定制開發(fā)。
【Go語言的優(yōu)勢】
可直接編譯成機器碼，不依賴其他庫，glibc的版本有一定要求，部署就是扔一個文件上去就完成了。
靜態(tài)類型語言，但是有動態(tài)語言的感覺，靜態(tài)類型的語言就是可以在編譯的時候檢查出來隱藏的大多數(shù)問題，動態(tài)語言的感覺就是有很多的包可以使用，寫起來的效率很高。
語言層面支持并發(fā)，這個就是Go最大的特色，天生的支持并發(fā)，我曾經(jīng)說過一句話，天生的基因和整容是有區(qū)別的，大家一樣美麗，但是你喜歡整容的還是天生基因的美麗呢？Go就是基因里面支持的并發(fā)，可以充分的利用多核，很容易的使用并發(fā)。
內(nèi)置runtime，支持垃圾回收，這屬于動態(tài)語言的特性之一吧，雖然目前來說GC不算完美，但是足以應(yīng)付我們所能遇到的大多數(shù)情況，特別是Go1.1之后的GC。
簡單易學(xué)，Go語言的作者都有C的基因，那么Go自然而然就有了C的基因，那么Go關(guān)鍵字是25個，但是表達能力很強大，幾乎支持大多數(shù)你在其他語言見過的特性：繼承、重載、對象等。
豐富的標準庫，Go目前已經(jīng)內(nèi)置了大量的庫，特別是網(wǎng)絡(luò)庫非常強大，我最愛的也是這部分。
內(nèi)置強大的工具，Go語言里面內(nèi)置了很多工具鏈，最好的應(yīng)該是gofmt工具，自動化格式化代碼，能夠讓團隊review變得如此的簡單，代碼格式一模一樣，想不一樣都很困難。
跨平臺編譯，如果你寫的Go代碼不包含cgo，那么就可以做到window系統(tǒng)編譯linux的應(yīng)用，如何做到的呢？Go引用了plan9的代碼，這就是不依賴系統(tǒng)的信息。
內(nèi)嵌C支持，前面說了作者是C的作者，所以Go里面也可以直接包含c代碼，利用現(xiàn)有的豐富的C庫。
函數(shù)式語言
Elixir
Elixir 比 Erlang 更容易編寫，具有 Haskell 等語言的函數(shù)式編程概念。Elixir是基于Erlang 虛擬機的，其廣為人知的特點是運行低延時、分布式、可容錯的系統(tǒng)，并成功用于Web開發(fā)與嵌入式軟件領(lǐng)域。
Elm
Elm是一種用于構(gòu)建 Web 應(yīng)用程序的函數(shù)式語言。業(yè)內(nèi)一般認為，它適用于創(chuàng)建高可交互應(yīng)用，例如復(fù)雜的用戶界面，開發(fā)人員可以通過 Elm 快速編寫富有表現(xiàn)力的系統(tǒng)。Elm 也以沒有運行時異常而聞名。
PureScript
PureScript是一種可編譯為 JavaScript 的純函數(shù)式編程語言。與 Haskell 最相似的是，PureScript 最適合用于開發(fā) Web 應(yīng)用程序和服務(wù)器端應(yīng)用程序。
PureScript 支持類型推斷，與其他語言相比，需要明顯類型注釋要少得多。
Swift
Swift是一種由蘋果公司開發(fā)的通用編譯編程語言，最早的設(shè)想是替代上一代編程語言O(shè)bjective-C ，過程中結(jié)合了Objective-C、Rust、Ruby 和 Python等語言的編程思想。目前Swift用于開發(fā)蘋果自己的手機、服務(wù)器、臺式機上的應(yīng)用軟件。
程序語言
Go
Go語言是由谷歌公司創(chuàng)造的類似C風格的語言。Go 比 C++ 或 Java 更簡潔，比 Ruby 或 Python 更安全。
一些缺點： 編碼要求嚴格。比如，不能混用符號和無符號整數(shù)。還有一個明顯的遺漏，Go語言沒有泛型和繼承。
但Go語言的優(yōu)勢同樣明顯，簡單且易于使用。Go語言擅長于網(wǎng)絡(luò)和多線程方面的編程。
面向?qū)ο笳Z言
DART
Dart同樣來自谷歌公司具有C語言風格。Dart可以輕松編寫JavaScript、Java for Android、本地機器代碼或獨立的 Dart 虛擬機。它還可以運行后端代碼。
Dart 非常適合使用事件驅(qū)動代碼構(gòu)建用戶界面。根據(jù)Dart 團隊成員的說法，Dart的優(yōu)勢：可選的靜態(tài)類型、最小的編譯時錯誤和強大的內(nèi)置編輯器。
Pony
Pony是一種基于無數(shù)據(jù)競爭類型和垃圾收集的語言，并使用 actor 模型以及稱為引用功能的東西。
你可以把 Pony 想象成某種“Rust 遇上 Erlang”的復(fù)合體，沒有鎖，高并發(fā)是其主要優(yōu)點。
Pony 的缺點是 API 穩(wěn)定性低、很少有高質(zhì)量的第三方庫和有限的本地工具。
TypeScript
TypeScript是一個基于 JavaScript 靜態(tài)類型定義構(gòu)建，并由微軟維護且開源編程語言。Visual Studio Code 或Visual Studio 是推薦的IDE編輯器，微軟大廠的用戶體驗和錯誤檢查也不用懷疑。
復(fù)合編程語言
Hack
Hack是一種作為 PHP 方言的 HipHop 虛擬機的編程語言。于 2014 年由Facebook創(chuàng)建，允許程序員同時使用靜態(tài)和動態(tài)類型（也稱為漸進類型），這為編碼提供了靈活性。
Julia
Julia是一種高級通用編程語言，用于計算科學(xué)和數(shù)值分析。Julia 以動態(tài)類型和可重現(xiàn)的高性能特性而聞名。
Julia 在數(shù)據(jù)可視化和機器學(xué)習(xí)等方面都有大量用途。事實上，它被英國保險公司 Aviva 用于風險計算，紐約聯(lián)邦儲備銀行用于金融建模，甚至氣候建模聯(lián)盟用于氣候變化建模。它擁有Fortran、C++、R、Java、C 、Python等的接口，這使其成為最受追捧的新語言之一。
Kotlin
Kotlin是運行在 Java 虛擬機中的更快、更流暢的 Java 版本。它現(xiàn)在是Android 開發(fā)的首選語言。根據(jù) Android 開發(fā)者網(wǎng)站顯示，程序員正轉(zhuǎn)而采用 Kotlin，因為該語言的樣板代碼更少，空指針異常更少，并且與 Java 有互操作性。
Kotlin 可用于在 iOS 和 Android 上運行的應(yīng)用程序、不使用額外運行時或虛擬機。
Nim
Nim是一種優(yōu)先考慮可讀性的靜態(tài)類型語言。通過結(jié)合多種語言的特性，Nim 為程序員提供了速度和易用性。
它帶有 JavaScript 后端、分散的包管理、自動內(nèi)存管理、C 和 C++ 庫的綁定以及用于調(diào)試的回溯。作為一種語言，Nim 是有限的，但它包含一組元編程功能，如泛型、模板和宏，因此開發(fā)人員可以在避免冗長代碼的同時以不同的風格工作。
OCaml作為此列表中較舊的語言，OCaml是一種多范式語言——既有函數(shù)式、命令式和類型安全，也具有面向?qū)ο蠊δ堋?/p>
OCaml 的一些優(yōu)勢：定義數(shù)據(jù)類型很容易。默認情況下，所有變量都是不可變的。API 穩(wěn)定，具有良好的庫向后兼容性。該語言還為獨立應(yīng)用程序提供自動內(nèi)存管理和單獨編譯。
Reason
如果比JavaScript 更快、更簡單且類型安全會怎樣？
這就是創(chuàng)建Reason的 Facebook 開發(fā)者想要回答的問題。不過，他并沒有從頭開始構(gòu)建一種新語言，而是采用了 OCaml，并將其調(diào)整為類似于 JavaScript。
Reason使用項目 BucketScript編譯為 JavaScript，并且可以訪問 80% 的 JavaScript 工具和生態(tài)系統(tǒng)。它還可以編譯為準系統(tǒng)、iOS、Android 和微控制器。
Red
Red是一種最初旨在克服 Rebol 語言限制的編程語言。Red 于 2011 年推出，受 Rebol、Lua 和 Scala 等語言的影響，對高級和低級編程都很有用。
該語言可用于開發(fā)從高級 GUI 到低級操作系統(tǒng)的所有方面。Red 擁有人性化的語法、低內(nèi)存占用和垃圾收集等優(yōu)點。
Rust
Rust解決了一些與 Go 相同的問題，如系統(tǒng)級別的線程和進程安全，，但Rust 更像 C 風格的語法
但Rust語言的缺點：靜態(tài)類型和缺乏垃圾收集
Rust可直接訪問內(nèi)存意味著程序員可以編寫低級代碼，如操作系統(tǒng)內(nèi)核。Rust 也非常適合嵌入式設(shè)備、網(wǎng)絡(luò)服務(wù)和命令行編寫。
Go語言非?？?，但并沒有為我提供足夠的類型安全。如果不需要并發(fā)，那么我寧可繼續(xù)使用Python及其生態(tài)環(huán)境，而不會去冒險采用Go重寫一切。如果需要并發(fā)，那我也不會使用Go，因為它缺乏類型安全，這個炸彈肯定會爆炸。
Rust非常適合并發(fā)和安全，盡管futures-rs的“箱子”（Rust里函數(shù)庫叫做“箱子”）依然非常新。我認為，以后Rust會成為許多后臺的默認語言。
Python 是腳本語言，也就是中間件語言，其內(nèi)核仍然是純 c 的性能表達的，而主要性能消耗在腳本的實時編譯上。而對比c，同樣的功能，python可以表達比c更加精煉，當然犧牲了一些性能。如果確實對某個模組性能不滿意，還可以使用 c 編寫 Python 模塊為其加速。面對一些并不需要過多性能而可以獲得更快捷的開發(fā)速度，Python的優(yōu)勢完全可以蓋過“劣勢”?？梢哉f，Python基本完美。例如知乎就是使用 Python 制作的。Google 的許多頁面也是使用 Python 進行渲染的。
Rust編程語言
Rust(blog)是一門強調(diào)安全、并發(fā)、高效的系統(tǒng)編程語言。其中四個關(guān)鍵詞，系統(tǒng)編程、安全、并發(fā)、高效，是Rust語言的核心特征，也是區(qū)別于其他編程語言的首要因素。
Memory safety without garbage collection
Concurrency without data races
Abstraction without overhead
除此之外，我再補充一些關(guān)鍵詞，以便讀者更直觀地了解Rust：靜態(tài)類型/編譯式語言/靜態(tài)編譯/動態(tài)編譯、泛型/函數(shù)式/面向?qū)ο?、模式匹?ADT、DST/Associated Types/閉包(Closures)、Static/Dynamic/Multiple-Dispatch、 沒有虛擬機(VM)、沒有垃圾收集器(GC)、沒有運行時(Runtime)、沒有空指針/野指針/內(nèi)存越界/緩沖區(qū)溢出/段錯誤、沒有數(shù)據(jù)競爭(Data Race)……
Rust語言具有特性豐富、設(shè)計優(yōu)良、適用范圍廣等諸多優(yōu)點。
我(Liigo)從2013年底開始正式關(guān)注Rust項目，……至今有一年半了。其中有贊有批，有爭有鬧，也有貢獻源碼。本文所寫的是我這些日子以來的所看、所聞、所感。
判斷一門新的編程語言“是否靠譜”，是主觀性很大的課題。Rust語言今日才剛剛發(fā)布1.0版本，它的未來發(fā)展走向如何，誰也說不清楚，說到底都是猜測。但是直覺告訴我，如果人靠譜、團隊靠譜、技術(shù)能力靠譜、態(tài)度靠譜、社區(qū)靠譜，這個項目在很大程度上就是靠譜的、值得期待的。
謹以此文，獻給我長久期待的 Rust 1.0！
2. 開放、友好、高效的開源社區(qū)
相當徹底的開源項目，開放、透明、友好，進度熱火朝天，動作大刀闊斧。這是我第一次親身參與并觀察到的如此大規(guī)模的開源編程語言項目的開發(fā)過程。（之前也關(guān)注過Go語言項目，但其規(guī)模要小得多。）
開放源代碼、GitHub/Git在線開發(fā) hub.com/rust-lang/rust
開放系統(tǒng)設(shè)計過程，重要設(shè)計項目的提出、討論、評估、決策均在線進行(RFCs)
內(nèi)部決策過程也公開透明，每周發(fā)布會議記錄(meetimg-minutes)
公開接受第三方開發(fā)者提交的 Pull Requests，必要時還指導(dǎo)開發(fā)
有一個核心團隊(the core team)負責項目的發(fā)展方向和最終決策
有大量的（超過 1000 人!）第三方開發(fā)者給Rust貢獻源代碼、文檔和測試用例
多次將優(yōu)秀的第三方開發(fā)者吸納進入官方開發(fā)團隊和核心團隊
多次在世界各地（包括北京）主辦和協(xié)辦小型本地開發(fā)者見面會
1.根據(jù)Rust的特點和定位適用于對控制性比較強，對性能很敏感的領(lǐng)域，比如底層軟件(OS/driver)，基礎(chǔ)系統(tǒng)軟件（Compiler/VM/DB等），性能要求比較高的應(yīng)用軟件（瀏覽器/圖形圖像處理/游戲/高性能服務(wù)器軟件等，或者可能包括近來很火的ML應(yīng)用方向）。2.底層軟件(比如OS/driver)部分是和C應(yīng)用領(lǐng)域有很大重合度的，在這個領(lǐng)域我認為對C沖擊不大。在這里C已經(jīng)足夠好了，而且這些領(lǐng)域技術(shù)性很高，但業(yè)務(wù)邏輯其實并不算太復(fù)雜，Rust的優(yōu)勢作用有限。而且Rust相比于C語言，帶來了一定的“黑盒”和這些領(lǐng)域一些不需要的語言復(fù)雜特性。C作為“可移植的匯編”恰到好處的非常適合這個領(lǐng)域，其他語言基本無法構(gòu)成挑戰(zhàn)。3.前面1中提到的領(lǐng)域除了底層軟件(OS/driver之類)剩下的領(lǐng)域，C++目前最具有優(yōu)勢。在這些領(lǐng)域C++相對于C提供了高級特性方便開發(fā)，相對于JVM系的性能更高內(nèi)存更少。（雖然這些領(lǐng)域有些知名軟件是C和JVM系的，比如postgresql/redis/nginx/Hadoop/spark等，但在這些領(lǐng)域目前只有C++一個是全能型）我認為rust的主要戰(zhàn)場就在這里，需要對決的對手就是C++。C++既有的力量（系統(tǒng)/代碼/人員/習(xí)慣)太強大了，在這些領(lǐng)域完全打敗C++是非常困難的。而且C++也在不斷發(fā)展，近年來發(fā)展的步伐也快了起來，C++11/14/17等等。但C++的歷史包袱是很重的，越發(fā)展其實復(fù)雜性也在不斷提高，何況有些問題（像安全/異常/復(fù)雜繼承等等）是基因里的，通過增加feature打補丁是彌補不了的。Rust最容易吸引的人群可能是C++程序員：因為，一方面解決了不少C++的痛點，另一方面Rust的很多特性其實有點復(fù)雜也有點門檻的。這些特性背后的動因有C++背景的程序員是非常容易理解，也是不少C++程序員夢寐以求的。相對而言，其他語言背景出身的程序員，對Rust的共鳴性遠遠沒有C++程序員強烈。猜測Rust會：a.蠶食掉一定的C++份額。一些可能本會選擇C++開發(fā)的新項目，可能會選擇Rust。b.蠶食掉一定的Java份額。有些項目選擇JVM系是由于C++開發(fā)太復(fù)雜，同時該項目對性能又有一定的要求。那么Rust出現(xiàn)以后也會蠶食掉一定的此類項目。c.蠶食掉一定的golang份額。不滿意gc（即使1.5改善了，gc的先天問題是無法徹底解決的），不滿意泛型，不滿意性能的一部分項目。不過也要依賴于Rust未來并發(fā)的解決方案是否足夠理想了。1.0這種是沒戲的。d.移動端Rust從自己實力上說是夠的。不過這個真的要看出品移動端設(shè)備的“爹”的意思了。Rust自身有一些優(yōu)勢非常明顯，在這些領(lǐng)域是很有競爭力的。Rust社區(qū)一定要重視IDE開發(fā)環(huán)境，花費精力出eclipse/intellji/vs的高質(zhì)量的IDE插件，對于推廣和流行大有幫助。只要Rust社區(qū)不要犯D語言曾經(jīng)反復(fù)折騰的毛病，能像golang社區(qū)那樣基礎(chǔ)做的不錯并且工程質(zhì)量優(yōu)秀，那么未來Rust出幾個殺手級的應(yīng)用，前途還是很可期的。
重慶分公司
重慶分公司
