\john goerzen承認haskell要求重學大量基礎,並且認為對於具有命令式語言及物件導向程式設計背景的人來說,純潔性(purity)和惰性(laziness)是最大的觀念轉變。\
\ \他強調在haskell中,「任何有可能改變系統全域性狀態的事物都被嚴密隔離」,並「用型別系統標記出來」。這樣有助於大大減少實現錯誤,因為**中的不純元素都是靜態型別的,編譯時即可識別錯誤。這個特點將haskell與python等語言區別開來。純潔性也有利於測試,尤其當程式的結構是由許多小函式嵌合而成的時候;比如haskell的純潔性就有效地降低了通過quickcheck(譯註:haskell開源測試框架)進行測試的難度。\
\ \「惰性(laziness)是haskell的中心概念之一。當問到「惰性對現實世界的程式有何幫助?」 john goerzen著重說明了惰性在i/o中的應用:\
\
\\\如果我用haskell寫乙個小小的過濾器或者解析器,不需要怎麼操心按行或者按塊讀取輸入的事情,因為我可以直接用getcontents ,然後把函式乙個個串起來。我喜歡用haskell寫unix過濾器。\
\ \[……]有了輸入端的惰性,也就有了輸出端的惰性,因為列印輸出的時候不需要立即完成全部求解。[……]\
\ \最後你得到的是乙個設計非常簡明的程式,因為不用折騰輸入行的緩衝、迭代之類的事情,而且產生的程式只需要固定大小的記憶體。\
\
\john goerzen還談到haskell在表達能力上的優點,其優勢一是來自模式匹配,二是因為函式能把事物表達得既扼要又易讀,適合闡述問題之餘,又容易看清邏輯推導的步驟。訪談人更是認為可以「用函式和詞語建立一套詞彙,再用那套詞彙去作為書寫問題解答的語言」。 「用haskell擺弄函式確實就像用perl擺弄字串那麼簡單」,goerzen如是說。\
\ \然而,haskell語言的某些特性可能令來自oo或命令式語言的人們敬而遠之。比如它的遞迴方式就「可能有點嚇人」,因為類c語言所用的「變數遞增方式是一種代價非常低的操作」。不過,goerzen辯解說,儘管「高階語言一般達不到c的速度」,但ghc編譯器會將遞迴重寫成迭代,「非常高效地把你用遞迴表達的程式轉換成更適合於cpu執行的形式」。\
\ \有些人認為惰性就是「換來型別推導、純潔性這些東西,卻丟掉了對時間及空間複雜性的掌握」。john goerzen認為這個觀點要辯證地看:\
\
\\\我舉個例子,比如隨便用哪種語言寫一段程式[……],要求一次過讀入整個檔案,然後加以處理。開啟檔案、呼叫讀取操作、將整個檔案讀入記憶體,都是可以的。有些人會假設要處理的檔案只有100k,那麼這樣做當然沒問題。但如果你給他們乙個2g大小的檔案,這種做法就行不通了。\
\
\憑著他的經驗,john還批駁了關於haskell的io系統孱弱又難學的說法。他說,haskell裡嚇跑最多人的怪獸要數monad,但他要強調「無需撓破頭去理解什麼是monad、modad做些什麼,照樣可以寫出無懈可擊的haskell程式去處理io[之類的現實工作]」。比如使用io monad,不需要以理解monad為前提,粗淺地把monad當作「一種分隔純與不純**的盒子」就足夠了\
\ \總而言之,john goerzen認為雖然「要把haskell裡的各種東西都叫上名字要費不少功夫」,不過之後會順暢許多,因為「看函式的型別就能把它們的所作所為知道得**不離十」。照他看,探索haskell是一樁賞心樂事,哪怕haskell不會成為萬眾矚目的明星,但「那麼別緻又有趣的語言,怎麼都值得學一學。」\
\ \infoq中文站補充訊息:《real world haskell》中文版正由albertlee翻譯之中,他在部落格上放出了一部分預覽章節。\
\檢視英文原文:
學習Haskell的現實意義
u0026 xd njohn goerzen承認haskell要求重學大量基礎,並且認為對於具有命令式語言及物件導向程式設計背景的人來說,純潔性 purity 和惰性 laziness 是最大的觀念轉變。u0026 xd n u0026 xd n u0026 xd n他強調在haskell中,任何有...
混沌的現實意義思考
大家先從數學公式開始研究,發現乙個穩定系統,其實是不可 的 後來發現,和實際情況一致.最簡單的乙個混沌現象為 三體運動 混沌的原理是 在乙個穩定系統中,比如三體,哪怕初始值差一點點 即使無限微小 根據公式帶入推導,推導一定次數之後,結果完全變化 因為我們觀察客觀世界不可避免的有誤差,所以客觀世界因為...
看《孔子》與現實意義
好久沒看電影,今天晚上翻到 孔子 的時候想起了周潤發說的話,想看看究竟能給我怎樣的感動。看完以後還之後還真是給我很多觸動,這些觸動並不是因為那些讓人感動的畫面,而是那種對理想和信念的堅持,在那個連溫保都尚未解決的年代,甚至連生命都無法得以保障的年代,有這樣一些人仍然堅守著自己的理想和信念,不願受外界...