函數式語言
網站建設、成都網站制作的關注點不是能為您做些什么網站,而是怎么做網站,有沒有做好網站,給創(chuàng)新互聯一個展示的機會來證明自己,這并不會花費您太多時間,或許會給您帶來新的靈感和驚喜。面向用戶友好,注重用戶體驗,一切以用戶為中心。
Elixir
Elixir 比 Erlang 更容易編寫,具有 Haskell 等語言的函數式編程概念。Elixir是基于Erlang 虛擬機的,其廣為人知的特點是運行低延時、分布式、可容錯的系統(tǒng),并成功用于Web開發(fā)與嵌入式軟件領域。
Elm
Elm是一種用于構建 Web 應用程序的函數式語言。業(yè)內一般認為,它適用于創(chuàng)建高可交互應用,例如復雜的用戶界面,開發(fā)人員可以通過 Elm 快速編寫富有表現力的系統(tǒng)。Elm 也以沒有運行時異常而聞名。
PureScript
PureScript是一種可編譯為 JavaScript 的純函數式編程語言。與 Haskell 最相似的是,PureScript 最適合用于開發(fā) Web 應用程序和服務器端應用程序。
PureScript 支持類型推斷,與其他語言相比,需要明顯類型注釋要少得多。
Swift
Swift是一種由蘋果公司開發(fā)的通用編譯編程語言,最早的設想是替代上一代編程語言Objective-C ,過程中結合了Objective-C、Rust、Ruby 和 Python等語言的編程思想。目前Swift用于開發(fā)蘋果自己的手機、服務器、臺式機上的應用軟件。
程序語言
Go
Go語言是由谷歌公司創(chuàng)造的類似C風格的語言。Go 比 C++ 或 Java 更簡潔,比 Ruby 或 Python 更安全。
一些缺點: 編碼要求嚴格。比如,不能混用符號和無符號整數。還有一個明顯的遺漏,Go語言沒有泛型和繼承。
但Go語言的優(yōu)勢同樣明顯,簡單且易于使用。Go語言擅長于網絡和多線程方面的編程。
面向對象語言
DART
Dart同樣來自谷歌公司具有C語言風格。Dart可以輕松編寫JavaScript、Java for Android、本地機器代碼或獨立的 Dart 虛擬機。它還可以運行后端代碼。
Dart 非常適合使用事件驅動代碼構建用戶界面。根據Dart 團隊成員的說法,Dart的優(yōu)勢:可選的靜態(tài)類型、最小的編譯時錯誤和強大的內置編輯器。
Pony
Pony是一種基于無數據競爭類型和垃圾收集的語言,并使用 actor 模型以及稱為引用功能的東西。
你可以把 Pony 想象成某種“Rust 遇上 Erlang”的復合體,沒有鎖,高并發(fā)是其主要優(yōu)點。
Pony 的缺點是 API 穩(wěn)定性低、很少有高質量的第三方庫和有限的本地工具。
TypeScript
TypeScript是一個基于 JavaScript 靜態(tài)類型定義構建,并由微軟維護且開源編程語言。Visual Studio Code 或Visual Studio 是推薦的IDE編輯器,微軟大廠的用戶體驗和錯誤檢查也不用懷疑。
復合編程語言
Hack
Hack是一種作為 PHP 方言的 HipHop 虛擬機的編程語言。于 2014 年由Facebook創(chuàng)建,允許程序員同時使用靜態(tài)和動態(tài)類型(也稱為漸進類型),這為編碼提供了靈活性。
Julia
Julia是一種高級通用編程語言,用于計算科學和數值分析。Julia 以動態(tài)類型和可重現的高性能特性而聞名。
Julia 在數據可視化和機器學習等方面都有大量用途。事實上,它被英國保險公司 Aviva 用于風險計算,紐約聯邦儲備銀行用于金融建模,甚至氣候建模聯盟用于氣候變化建模。它擁有Fortran、C++、R、Java、C 、Python等的接口,這使其成為最受追捧的新語言之一。
Kotlin
Kotlin是運行在 Java 虛擬機中的更快、更流暢的 Java 版本。它現在是Android 開發(fā)的首選語言。根據 Android 開發(fā)者網站顯示,程序員正轉而采用 Kotlin,因為該語言的樣板代碼更少,空指針異常更少,并且與 Java 有互操作性。
Kotlin 可用于在 iOS 和 Android 上運行的應用程序、不使用額外運行時或虛擬機。
Nim
Nim是一種優(yōu)先考慮可讀性的靜態(tài)類型語言。通過結合多種語言的特性,Nim 為程序員提供了速度和易用性。
它帶有 JavaScript 后端、分散的包管理、自動內存管理、C 和 C++ 庫的綁定以及用于調試的回溯。作為一種語言,Nim 是有限的,但它包含一組元編程功能,如泛型、模板和宏,因此開發(fā)人員可以在避免冗長代碼的同時以不同的風格工作。
OCaml作為此列表中較舊的語言,OCaml是一種多范式語言——既有函數式、命令式和類型安全,也具有面向對象功能。
OCaml 的一些優(yōu)勢:定義數據類型很容易。默認情況下,所有變量都是不可變的。API 穩(wěn)定,具有良好的庫向后兼容性。該語言還為獨立應用程序提供自動內存管理和單獨編譯。
Reason
如果比JavaScript 更快、更簡單且類型安全會怎樣?
這就是創(chuàng)建Reason的 Facebook 開發(fā)者想要回答的問題。不過,他并沒有從頭開始構建一種新語言,而是采用了 OCaml,并將其調整為類似于 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 擁有人性化的語法、低內存占用和垃圾收集等優(yōu)點。
Rust
Rust解決了一些與 Go 相同的問題,如系統(tǒng)級別的線程和進程安全,,但Rust 更像 C 風格的語法
但Rust語言的缺點:靜態(tài)類型和缺乏垃圾收集
Rust可直接訪問內存意味著程序員可以編寫低級代碼,如操作系統(tǒng)內核。Rust 也非常適合嵌入式設備、網絡服務和命令行編寫。
此篇文章流傳甚廣, 其實里面沒啥干貨, 而且里面很多觀點是有問題的. 這個文章在 golang-china 很早就討論過了.
最近因為 Rust 1.0 和 1.1 的發(fā)布, 導致這個文章又出來毒害讀者.
所以寫了這篇反駁文章, 指出其中的問題.
有好幾次,當我想起來的時候,總是會問自己:我為什么要放棄Go語言?這個決定是正確的嗎?是明智和理性的嗎?其實我一直在認真思考這個問題。
開門見山地說,我當初放棄Go語言(golang),就是因為兩個“不爽”:第一,對Go語言本身不爽;第二,對Go語言社區(qū)里的某些人不爽。毫無疑問,這是非常主觀的結論。但是我有足夠詳實的客觀的論據,用以支撐這個看似主觀的結論。
文末附有本文更新日志。
確實是非常主觀的結論, 因為里面有不少有問題的觀點(用來忽悠Go小白還行).
第0節(jié):我的Go語言經歷
先說說我的經歷吧,以避免被無緣無故地當作Go語言的低級黑。
2009年底,Go語言(golang)第一個公開版本發(fā)布,籠罩著“Google公司制造”的光環(huán),吸引了許多慕名而來的嘗鮮者,我(Liigo)也身居其中,籠統(tǒng)的看了一些Go語言的資料,學習了基礎的教程,因對其語法中的分號和花括號不滿,很快就遺忘掉了,沒拿它當一回事。
在2009年Go剛發(fā)布時, 確實是因為“Google公司制造”的光環(huán)而吸引了(包括文章作者和諸多IT記者)很多低級的嘗鮮者.
還好, 經過5年的發(fā)展, 這些純粹因為光環(huán)來的投機者所剩已經不多了(Google趨勢).
目前, 真正的Go用戶早就將Go用于實際的生產了.
說到 其語法中的分號和花括號不滿, 我想說這只是你的 個人主觀感受, 還有很多人對Go的分號和花括號很滿意,
包括水果公司的的 Swift 的語言設計者也很滿意這種風格(Swift中的分號和花括號和Go基本相同).
如果只談 個人主觀感受, 我也可以說 Rust 的 fn 縮寫也很蛋疼!
兩年之后,2011年底,Go語言發(fā)布1.0的計劃被提上日程,相關的報道又多起來,我再次關注它,重新評估之后決定深入參與Go語言。我訂閱了其users、nuts、dev、commits等官方郵件組,堅持每天閱讀其中的電子郵件,以及開發(fā)者提交的每一次源代碼更新,給Go提交了許多改進意見,甚至包括修改Go語言編譯器源代碼直接參與開發(fā)任務。如此持續(xù)了數月時間。
這個到是事實, 在 golang-china 有不少吵架的帖子, 感興趣的可以去挖下, 我就不展開說了.
到2012年初,Go 1.0發(fā)布,語言和標準庫都已經基本定型,不可能再有大幅改進,我對Go語言未能在1.0定型之前更上一個臺階、實現自我突破,甚至帶著諸多明顯缺陷走向1.0,感到非常失望,因而逐漸疏遠了它(所以Go 1.0之后的事情我很少關心)。后來看到即將發(fā)布的Go 1.1的Release Note,發(fā)現語言層面沒有太大改變,只是在庫和工具層面有所修補和改進,感到它尚在幼年就失去成長的動力,越發(fā)失望。外加Go語言社區(qū)里的某些人,其中也包括Google公司負責開發(fā)Go語言的某些人,其態(tài)度、言行,讓我極度厭惡,促使我決絕地離棄Go語言。
真的不清楚樓主說的可以在 Go1.0 之前短時間內能實現的 重大改進和諸多明顯缺陷 是什么.
如果是樓主說前面的 其語法中的分號和花括號不滿 之類的重大改進, 我只能說這只是你的 個人主觀感受 而已,
你的很多想法只能說服你自己, 沒辦法說服其他絕大部分人(不要以為像C++或Rust那樣什么特性都有就NB了, 各種NB特性加到一起只能是 要你命3000, 而絕對不會是什么 銀彈).
Go 1.1的Release Note,發(fā)現語言層面沒有太大改變. 語言層沒有改變是是因為 Go1 作出的向后兼容的承諾. 對于工業(yè)級的語言來說, Go1 這個只能是優(yōu)點. 如果連語言層在每個版本都會出現諸多大幅改進, 那誰還敢用Go語言來做生產開發(fā)呢(我承認Rust的改動很大膽, 但也說明了Rust還處于比較幼稚和任性的階段)?
說 Go語言社區(qū)里的某些人固執(zhí) 的觀點我是同意的. 但是這些 固執(zhí) 的人是可以講道理的, 但是他們對很多東西的要求很高(特別是關于Go的設計哲學部分).
只要你給的建議有依據(語言的設計哲學是另外一回事情), 他們絕對不會盲目的拒絕(只是討論的周期會比較長).
關于樓主提交的給Go文件添加BOM的文章, 需要補充說明下.
在Go1.0發(fā)布的時候, Go語言的源文件(.go)明確要求必須是UTF8編碼的, 而且是無BOM的UTF8編碼的.
注意: 這個 無BOM的UTF8編碼 的限制僅僅是 針對 Go語言的源文件(.go).
這個限制并不是說不允許用戶處理帶BOM的UTF8的txt文件!
我覺得對于寫Go程序來說, 這個限制是沒有任何問題的, 到目前為止, 我還從來沒有使用過帶BOM的.go文件.
不僅是因為帶BOM的.go文件沒有太多的意義, 而且有很多的缺陷.
BOM的原意是用來表示編碼是大端還是小端的, 主要用于UTF16和UTF32. 對于 UTF8 來說, BOM 沒有任何存在的意義(正是Go的2個作者發(fā)明了UTF8, 徹底解決了全球的編碼問題).
但是, 在現實中, 因為MS的txt記事本, 對于中文環(huán)境會將txt(甚至是C/C++源文件)當作GBK編碼(GBK是個爛編碼),
為了區(qū)別到底是GBK還是UTF8, MS的記事本在前面加了BOM這個垃圾(被GBK占了茅坑), 這里的bom已經不是表示字節(jié)序本意了. 不知道有沒有人用ms的記事本寫網頁, 然后生成一個帶bom的utf8網頁肯定很有意思.
這是MS的記事本的BUG: 它不支持生成無BOM的UTF8編碼的文本文件!
這些是現實存在的帶BOM的UTF8編碼的文本文件, 但是它們肯定都不是Go語言源文件!
所以說, Go語言的源文件即使強制限制了無BOM的UTF8編碼要求, 也是沒有任何問題的(而且我還希望有這個限制).
雖然后來Go源文件接受帶BOM的UTF8了, 但是運行 go fmt 之后, 還是會刪除掉BOM的(因為BOM就是然并卵). 也就是說 帶 BOM 的 Go 源文件是不符合 Go語言的編碼風格的, go fmt 會強制刪除 BOM 頭.
前面說了BOM是MS帶來的垃圾, 但是BOM的UTF8除了然并卵之外還有很多問題, 因為BOM在string的開頭嵌入了垃圾,
導致正則表達式, string的鏈接運算等操作都被會被BOM這個垃圾所污染. 對于.go語言, 即使代碼完全一樣, 有BOM和無BOM會導致文件的MD5之類的校驗碼不同.
所以, 我覺得Go用戶不用糾結BOM這個無關緊要的東西.
在上一個10年,我(Liigo)在我所屬的公司里,深度參與了兩個編程語言項目的開發(fā)。我想,對于如何判斷某個編程語言的優(yōu)劣,或者說至少對于如何判斷某個編程語言是否適合于我自己,我應該還是有一點發(fā)言權的。
第1節(jié):我為什么對Go語言不爽?
Go語言有很多讓我不爽之處,這里列出我現在還能記起的其中一部分,排名基本上不分先后。讀者們耐心地看完之后,還能淡定地說一句“我不在乎”嗎?
1.1 不允許左花括號另起一行
關于對花括號的擺放,在C語言、C++、Java、C#等社區(qū)中,十余年來存在持續(xù)爭議,從未形成一致意見。在我看來,這本來就是主觀傾向很重的抉擇,不違反原則不涉及是非的情況下,不應該搞一刀切,讓程序員或團隊自己選擇就足夠了。編程語言本身強行限制,把自己的喜好強加給別人,得不償失。無論傾向于其中任意一種,必然得罪與其對立的一群人。雖然我現在已經習慣了把左花括號放在行尾,但一想到被禁止其他選擇,就感到十分不爽。Go語言這這個問題上,沒有做到“團結一切可以團結的力量”不說,還有意給自己樹敵,太失敗了。
我覺得Go最偉大的發(fā)明是 go fmt, 從此Go用戶不會再有花括弧的位置這種無聊爭論了(當然也少了不少灌水和上tiobe排名的機會).
是這優(yōu)點, Swift 語言也使用和 Go 類似的風格(當然樓主也可能鄙視swift的作者).
1.2 編譯器莫名其妙地給行尾加上分號
對Go語言本身而言,行尾的分號是可以省略的。但是在其編譯器(gc)的實現中,為了方便編譯器開發(fā)者,卻在詞法分析階段強行添加了行尾的分號,反過來又影響到語言規(guī)范,對“怎樣添加分號”做出特殊規(guī)定。這種變態(tài)做法前無古人。在左花括號被意外放到下一行行首的情況下,它自動在上一行行尾添加的分號,會導致莫名其妙的編譯錯誤(Go 1.0之前),連它自己都解釋不明白。如果實在處理不好分號,干脆不要省略分號得了;或者,Scala和JavaScript的編譯器是開源的,跟它們學學怎么處理省略行尾分號可以嗎?
又是樓主的 個人主觀感受, 不過我很喜歡這個特性. Swift 語言也是類似.
1.3 極度強調編譯速度,不惜放棄本應提供的功能
程序員是人不是神,編碼過程中免不了因為大意或疏忽犯一些錯。其中有一些,是大家集體性的很容易就中招的錯誤(Go語言里的例子我暫時想不起來,C++里的例子有“基類析構函數不是虛函數”)。這時候編譯器應該站出來,多做一些檢查、約束、核對性工作,盡量阻止常規(guī)錯誤的發(fā)生,盡量不讓有潛在錯誤的代碼編譯通過,必要時給出一些警告或提示,讓程序員留意。編譯器不就是機器么,不就是應該多做臟活累活雜活、減少人的心智負擔么?編譯器多做一項檢查,可能會避免數十萬程序員今后多年內無數次犯同樣的錯誤,節(jié)省的時間不計其數,這是功德無量的好事。但是Go編譯器的作者們可不這么想,他們不愿意自己多花幾個小時給編譯器增加新功能,覺得那是虧本,反而減慢了編譯速度。他們以影響編譯速度為由,拒絕了很多對編譯器改進的要求。典型的因噎廢食。強調編譯速度固然值得贊賞,但如果因此放棄應有的功能,我不贊成。
編譯速度是很重要的, 如果編譯速度夠慢, 語言再好也不會有人使用的.
比如C/C++的增量編譯/預編譯頭文件/并發(fā)編譯都是為了提高編譯速度.
Rust1.1 也號稱 比 1.0 的編譯時間減少了32% (注意: 不是運行速度).
當然, Go剛面世的時候, 編譯速度是其中的一個設計目標.
不過我想樓主, 可能想說的是因為編譯器自己添加分號而導致的編譯錯誤的問題.
我覺得Go中 { 不能另起一行是語言特性, 如果修復這個就是引入了新的錯誤.
其他的我真想不起來還有哪些 調編譯速度,不惜放棄本應提供的功能 (不要提泛型, 那是因為還沒有好的設計).
1.4 錯誤處理機制太原始
在Go語言中處理錯誤的基本模式是:函數通常返回多個值,其中最后一個值是error類型,用于表示錯誤類型極其描述;調用者每次調用完一個函數,都需要檢查這個error并進行相應的錯誤處理:if err != nil { /*這種代碼寫多了不想吐么*/ }。此模式跟C語言那種很原始的錯誤處理相比如出一轍,并無實質性改進。實際應用中很容易形成多層嵌套的if else語句,可以想一想這個編碼場景:先判斷文件是否存在,如果存在則打開文件,如果打開成功則讀取文件,如果讀取成功再寫入一段數據,最后關閉文件,別忘了還要處理每一步驟中出現錯誤的情況,這代碼寫出來得有多變態(tài)、多丑陋?實踐中普遍的做法是,判斷操作出錯后提前return,以避免多層花括號嵌套,但這么做的后果是,許多錯誤處理代碼被放在前面突出的位置,常規(guī)的處理邏輯反而被掩埋到后面去了,代碼可讀性極差。而且,error對象的標準接口只能返回一個錯誤文本,有時候調用者為了區(qū)分不同的錯誤類型,甚至需要解析該文本。除此之外,你只能手工強制轉換error類型到特定子類型(靜態(tài)類型的優(yōu)勢沒了)。至于panic - recover機制,致命的缺陷是不能跨越庫的邊界使用,注定是一個半成品,最多只能在自己的pkg里面玩一玩。Java的異常處理雖然也有自身的問題(比如Checked Exceptions),但總體上還是比Go的錯誤處理高明很多。
話說, 軟件開發(fā)都發(fā)展了半個世紀, 還是無實質性改進. 不要以為弄一個異常的語法糖就是革命了.
我只能說錯誤和異常是2個不同的東西, 將所有錯誤當作異常那是SB行為.
正因為有異常這個所謂的銀彈, 導致很多等著別人幫忙擦屁股的行為(注意 shit 函數拋出的絕對不會是一種類型的 shit, 而被其間接調用的各種 xxx_shit 也可能拋出各種類型的異常, 這就導致 catch 失控了):
int main() {
try {
shit();
} catch( /* 到底有幾千種 shit ? */) {
...
}
}
Go的建議是 panic - recover 不跨越邊界, 也就是要求正常的錯誤要由pkg的處理掉.
這是負責任的行為.
再說Go是面向并發(fā)的編程語言, 在海量的 goroutine 中使用 try/catch 是不是有一種不倫不類的感覺呢?
1.5 垃圾回收器(GC)不完善、有重大缺陷
在Go 1.0前夕,其垃圾回收器在32位環(huán)境下有內存泄漏,一直拖著不肯改進,這且不說。Go語言垃圾回收器真正致命的缺陷是,會導致整個進程不可預知的間歇性停頓。像某些大型后臺服務程序,如游戲服務器、APP容器等,由于占用內存巨大,其內存對象數量極多,GC完成一次回收周期,可能需要數秒甚至更長時間,這段時間內,整個服務進程是阻塞的、停頓的,在外界看來就是服務中斷、無響應,再牛逼的并發(fā)機制到了這里統(tǒng)統(tǒng)失效。垃圾回收器定期啟動,每次啟動就導致短暫的服務中斷,這樣下去,還有人敢用嗎?這可是后臺服務器進程,是Go語言的重點應用領域。以上現象可不是我假設出來的,而是事實存在的現實問題,受其嚴重困擾的也不是一家兩家了(2013年底ECUG Con 2013,京東的劉奇提到了Go語言的GC、defer、標準庫實現是性能殺手,最大的痛苦是GC;美團的沈鋒也提到Go語言的GC導致后臺服務間隔性停頓是最大的問題。更早的網絡游戲仙俠道開發(fā)團隊也曾受Go垃圾回收的沉重打擊)。在實踐中,你必須努力減少進程中的對象數量,以便把GC導致的間歇性停頓控制在可接受范圍內。除此之外你別無選擇(難道你還想自己更換GC算法、甚至砍掉GC?那還是Go語言嗎?)。跳出圈外,我近期一直在思考,一定需要垃圾回收器嗎?沒有垃圾回收器就一定是歷史的倒退嗎?(可能會新寫一篇博客文章專題探討。)
這是說的是32位系統(tǒng), 這絕對不是Go語言的重點應用領域!! 我可以說Go出生就是面向64位系統(tǒng)和多核心CPU環(huán)境設計的. (再說 Rust 目前好像還不支持 XP 吧, 這可不可以算是影響巨大?)
32位當時是有問題, 但是對實際生產影響并不大(請問樓主還是在用32位系統(tǒng)嗎, 還只安裝4GB的內存嗎). 如果是8位單片機環(huán)境, 建議就不要用Go語言了, 直接C語言好了.
而且這個問題早就不存在了(大家可以去看Go的發(fā)布日志).
Go的出生也就5年時間, GC的完善和改進是一個持續(xù)的工作, 2015年8月將發(fā)布的 Go1.5將采用并行GC.
關于GC的被人詬病的地方是會導致卡頓, 但是我以為這個主要是因為GC的實現還不夠完美而導致的.
如果是完美的并發(fā)和增量的GC, 那應該不會出現大的卡頓問題的.
當然, 如果非要實時性, 那用C好了(實時并不表示性能高, 只是響應時間可控).
對于Rust之類沒有GC的語言來說, 想很方便的開發(fā)并發(fā)的后臺程序那幾乎是不可能的.
不要總是吹Rust能代替底層/中層/上層的開發(fā), 我們要看有誰用Rust真的做了什么.
1.6 禁止未使用變量和多余import
Go編譯器不允許存在被未被使用的變量和多余的import,如果存在,必然導致編譯錯誤。但是現實情況是,在代碼編寫、重構、調試過程中,例如,臨時性的注釋掉一行代碼,很容易就會導致同時出現未使用的變量和多余的import,直接編譯錯誤了,你必須相應的把變量定義注釋掉,再翻頁回到文件首部把多余的import也注釋掉,……等事情辦完了,想把剛才注釋的代碼找回來,又要好幾個麻煩的步驟。還有一個讓人蛋疼的問題,編寫數據庫相關的代碼時,如果你import某數據庫驅動的pkg,它編譯給你報錯,說不需要import這個未被使用的pkg;但如果你聽信編譯器的話刪掉該import,編譯是通過了,運行時必然報錯,說找不到數據庫驅動;你看看程序員被折騰的兩邊不是人,最后不得不請出大神:import _。對待這種問題,一個比較好的解決方案是,視其為編譯警告而非編譯錯誤。但是Go語言開發(fā)者很固執(zhí),不容許這種折中方案。
這個問題我只能說樓主的吐槽真的是沒水平.
為何不使用的是錯誤而不是警告? 這是為了將低級的bug消滅在編譯階段(大家可以想下C/C++的那么多警告有什么卵用).
而且, import 即使沒有使用的話, 也是用副作用的, 因為 import 會導致 init 和全局變量的初始化.
如果某些代碼沒有使用, 為何要執(zhí)行 init 這些初始化呢?
如果是因為調試而添加的變量, 那么調試完刪除不是很正常的要求嗎?
如果是因為調試而要導入fmt或log之類的包, 刪除調試代碼后又導致 import 錯誤的花,
樓主難道不知道在一個獨立的文件包裝下類似的輔助調試的函數嗎?
import (
"fmt"
"log"
)
func logf(format string, a ...interface{}) {
file, line := callerFileLine()
fmt.Fprintf(os.Stderr, "%s:%d: ", file, line)
fmt.Fprintf(os.Stderr, format, a...)
}
func fatalf(format string, a ...interface{}) {
file, line := callerFileLine()
fmt.Fprintf(os.Stderr, "%s:%d: ", file, line)
fmt.Fprintf(os.Stderr, format, a...)
os.Exit(1)
}
import _ 是有明確行為的用法, 就是為了執(zhí)行包中的 init 等函數(可以做某些注冊操作).
將警告當作錯誤是Go的一個哲學, 當然在樓主看來這是白癡做法.
1.7 創(chuàng)建對象的方式太多令人糾結
創(chuàng)建對象的方式,調用new函數、調用make函數、調用New方法、使用花括號語法直接初始化結構體,你選哪一種?不好選擇,因為沒有一個固定的模式。從實踐中看,如果要創(chuàng)建一個語言內置類型(如channel、map)的對象,通常用make函數創(chuàng)建;如果要創(chuàng)建標準庫或第三方庫定義的類型的對象,首先要去文檔里找一下有沒有New方法,如果有就最好調用New方法創(chuàng)建對象,如果沒有New方法,則退而求其次,用初始化結構體的方式創(chuàng)建其對象。這個過程頗為周折,不像C++、Java、C#那樣直接new就行了。
C++的new是狗屎. new導致的問題是構造函數和普通函數的行為不一致, 這個補丁特性真的沒啥優(yōu)越的.
我還是喜歡C語言的 fopen 和 malloc 之類構造函數, 構造函數就是普通函數, Go語言中也是這樣.
C++中, 除了構造不兼容普通函數, 析構函數也是不兼容普通函數. 這個而引入的坑有很多吧.
1.8 對象沒有構造函數和析構函數
沒有構造函數還好說,畢竟還有自定義的New方法,大致也算是構造函數了。沒有析構函數就比較難受了,沒法實現RAII。額外的人工處理資源清理工作,無疑加重了程序員的心智負擔。沒人性啊,還嫌我們程序員加班還少嗎?C++里有析構函數,Java里雖然沒有析構函數但是有人家finally語句啊,Go呢,什么都沒有。沒錯,你有個defer,可是那個defer問題更大,詳見下文吧。
defer 可以覆蓋析構函數的行為, 當然 defer 還有其他的任務. Swift2.0 也引入了一個簡化版的 defer 特性.
1.9 defer語句的語義設定不甚合理
Go語言設計defer語句的出發(fā)點是好的,把釋放資源的“代碼”放在靠近創(chuàng)建資源的地方,但把釋放資源的“動作”推遲(defer)到函數返回前執(zhí)行。遺憾的是其執(zhí)行時機的設置似乎有些不甚合理。設想有一個需要長期運行的函數,其中有無限循環(huán)語句,在循環(huán)體內不斷的創(chuàng)建資源(或分配內存),并用defer語句確保釋放。由于函數一直運行沒有返回,所有defer語句都得不到執(zhí)行,循環(huán)過程中創(chuàng)建的大量短暫性資源一直積累著,得不到回收。而且,系統(tǒng)為了存儲defer列表還要額外占用資源,也是持續(xù)增加的。這樣下去,過不了多久,整個系統(tǒng)就要因為資源耗盡而崩潰。像這類長期運行的函數,http.ListenAndServe()就是典型的例子。在Go語言重點應用領域,可以說幾乎每一個后臺服務程序都必然有這么一類函數,往往還都是程序的核心部分。如果程序員不小心在這些函數中使用了defer語句,可以說后患無窮。如果語言設計者把defer的語義設定為在所屬代碼塊結束時(而非函數返回時)執(zhí)行,是不是更好一點呢?可是Go 1.0早已發(fā)布定型,為了保持向后兼容性,已經不可能改變了。小心使用defer語句!一不小心就中招。
前面說到 defer 還有其他的任務, 也就是 defer 中執(zhí)行的 recover 可以捕獲 panic 拋出的異常.
還有 defer 可以在 return 之后修改命名的返回值.
上面2個工作要求 defer 只能在函數退出時來執(zhí)行.
樓主說的 defer 是類似 Swift2.0 中 defer 的行為, 但是 Swift2.0 中 defer 是沒有前面2個特性的.
Go中的defer是以函數作用域作為觸發(fā)的條件的, 是會導致樓主說的在 for 中執(zhí)行的錯誤用法(哪個語言沒有坑呢?).
不過 for 中 局部 defer 也是有辦法的 (Go中的defer是以函數作用域):
for {
func(){
f, err := os.Open(...)
defer f.Close()
}()
}
在 for 中做一個閉包函數就可以了. 自己不會用不要怪別人沒告訴你.
1.10 許多語言內置設施不支持用戶定義的類型
for in、make、range、channel、map等都僅支持語言內置類型,不支持用戶定義的類型(?)。用戶定義的類型沒法支持for in循環(huán),用戶不能編寫像make、range那樣“參數類型和個數”甚至“返回值類型和個數”都可變的函數,不能編寫像channel、map那樣類似泛型的數據類型。語言內置的那些東西,處處充斥著斧鑿的痕跡。這體現了語言設計的局限性、封閉性、不完善,可擴展性差,像是新手作品——且不論其設計者和實現者如何權威。延伸閱讀:Go語言是30年前的陳舊設計思想,用戶定義的東西幾乎都是二等公民(Tikhon Jelvis)。
說到底, 這個是因為對泛型支持的不完備導致的.
Go語言是沒啥NB的特性, 但是Go的特性和工具組合在一起就是好用.
這就是Go語言NB的地方.
1.11 沒有泛型支持,常見數據類型接口丑陋
沒有泛型的話,List、Set、Tree這些常見的基礎性數據類型的接口就只能很丑陋:放進去的對象是一個具體的類型,取出來之后成了無類型的interface{}(可以視為所有類型的基礎類型),還得強制類型轉換之后才能繼續(xù)使用,令人無語。Go語言缺少min、max這類函數,求數值絕對值的函數abs只接收/返回雙精度小數類型,排序接口只能借助sort.Interface無奈的回避了被比較對象的類型,等等等等,都是沒有泛型導致的結果。沒有泛型,接口很難優(yōu)雅起來。Go開發(fā)者沒有明確拒絕泛型,只是說還沒有找到很好的方法實現泛型(能不能學學已經開源的語言呀)?,F實是,Go 1.0已經定型,泛型還沒有,那些丑陋的接口為了保持向后兼容必須長期存在著。
Go有自己的哲學, 如果能有和目前哲學不沖突的泛型實現, 他們是不會反對的.
如果只是簡單學學(或者叫抄襲)已經開源的語言的語法, 那是C++的設計風格(或者說C++從來都是這樣設計的, 有什么特性就抄什么), 導致了各種腦裂的編程風格.
編譯時泛型和運行時泛型可能是無法完全兼容的, 看這個例子:
type AdderT interface {
Add(a, b T) T
}
一個語言才出來一年的時間,投入生產環(huán)境其實是一種非常激進的做法。其實在一些較大的項目里面,新技術的更新換代都是非常緩慢的。比如騰訊很多產品,包括微信在內,是去年底的時候才ARC的(具體時間我記不太清了,反正就是很晚),但是ARC是隨著iOS 5出來的,已經過去太久了。類似的還有AutoLayout等等。不是因為開發(fā)團隊懶,而是在找到足夠的理由之前,其實沒有動力這樣做,而且會增加不少的學習成本給每一個人。
就像swift這一年那種改動的幅度,每更新一次Xcode就編譯不了,拿來改造QQ這種巨型項目,怎么想也不合適吧。所以大項目里面都是偏保守的。
作為個人項目,我自己就被swift整過一次,那個時候在寫一個App,swift出來才沒多久。demo成型了但是Xcode整天崩潰,如果經歷過那個階段的人一定會知道的,還有那個一天出現一百次的語法高亮失敗+閃屏的bug,實在是受不了了我花了一整天的時間把他用objc重寫了,僅僅是因為IDE不穩(wěn)定。