本文關(guān)鍵詞：Haskell趣學(xué)指南，由筆耕文化傳播整理發(fā)布。

歡迎來到Haskell趣學(xué)指南！閱讀此文表明你正要學(xué)haskell。很好，來對地方了，先容我簡單介紹一下這個教程。

編 寫這個教程,一方面是為了鞏固我自己對haskell的理解，另一方面也是希望能夠分享我的經(jīng)驗，給初學(xué)者提供一定幫助。網(wǎng)上現(xiàn)有的haskell教程已 經(jīng)汗牛充棟，在我學(xué)習(xí)的時候就曾參閱過許多教程與文章，它們講解問題的思路各不相同，綜合的閱讀使得我最終能夠整理起知識的碎片并正確地理解。所以說，編 寫這個教程也是創(chuàng)造另一個學(xué)習(xí)資源的嘗試，給讀者增加一個選擇的余地。

本教程主要是面向已經(jīng)有命令式編程經(jīng)驗(C, C++, Java, Python …) 、卻未曾接觸過函數(shù)式編程 (Haskell, ML, OCaml …)的讀者。還沒有編程基礎(chǔ)？沒關(guān)系，像你這樣的聰明小伙一定能夠?qū)W會haskell！

若在學(xué)習(xí)中遇到什么地方不明白，freenode上的#haskell頻道是提問的絕佳去處。那兒的人們友善，耐心且照顧新人。

在 我掌握haskell之前的學(xué)習(xí)曾經(jīng)失敗過兩次，它看起來太不可思議，難以理解。不過隨后突然靈光一閃，馬上就開竅了，往后的學(xué)習(xí)也就變得游刃有余。我想 說的就是：haskell很棒，如果你喜歡編程，那就得好好學(xué)學(xué)--盡管在咋一看它可能會顯得很別扭--它迫使你換個腦筋思考，很有趣！

好，下一節(jié)。。。

haskell是一門純函數(shù)式編程語言。 在命令式語言中執(zhí)行操作需要給電腦安排一組命令，隨著命令的執(zhí)行，狀態(tài)就會隨之發(fā)生改變。例如你給變量a賦值為5，而隨后做了其它一些事情之后a就可能變 成的其它值。有控制流程，你就可以重復(fù)執(zhí)行操作。然而在函數(shù)式編程語言中，你不是像命令式語言那樣命令電腦“要做什么”，而是通過用函數(shù)來描述出問題“是 什么”，如“階乘是指從1到某數(shù)間所有數(shù)字的乘積”。變量一旦賦值，就不可以更改了，你已經(jīng)說了a就是5，就不能再另說a是別的什么數(shù)。做 人不能食言，對不？所以說，函數(shù)式編程語言中的函數(shù)能做的唯一事情就是求值，因而沒有副作用。一開始會覺得這很受限，不過好處也正源于此：若以同樣的參數(shù) 調(diào)用同一函數(shù)兩次，得到的結(jié)果總是相同。這被稱作“引用透明”。如此一來編譯器就可以理解程序的行為，你也很容易就能驗證一個函數(shù)的正確性，繼而可以將一些簡單的函數(shù)組合成更復(fù)雜的函數(shù)。

haskell是惰性的。也就是說若非特殊指明，函數(shù)在真正需要結(jié)果以前不會被求值。再加上引用透明，你就可以把程序僅看作是數(shù)據(jù)的一系列變形。如此一來就有了很多有趣的特性，如無限長度的數(shù)據(jù)結(jié)構(gòu)。假設(shè)你有一個List:xs = [1,2,3,4,5,6,7,8]，還有一個函數(shù)doubleMe，它可以將一個List中的所有元素都乘以二，返回一個新的List。若是在命令式語言中，把一個List乘以8，執(zhí)行doubleMe(doubleMe(doubleMe(xs)))， 得遍歷三遍xs才會得到結(jié)果。而在惰性語言中，調(diào)用doubleMe時并不會立即求值，它會說“嗯嗯，待會兒再做！”。不過一旦要看結(jié)果，第一個 doubleMe就會對第二個說“給我結(jié)果，快！”第二個doubleMe就會把同樣的話傳給第三個doubleMe，第三個doubleMe只能將1乘 以2得2后交給第二個，第二個再乘以2得4交給第一個，最終得到第一個元素8。也就是說，這一切只需要遍歷一次list即可，而且僅在你真正需要結(jié)果時才 會執(zhí)行。惰性語言中的計算只是一組初始數(shù)據(jù)和變換公式。

haskell 是靜態(tài)類型的。 當(dāng)你編譯程序時，編譯器需要明確哪個是數(shù)字，哪個是字符串。這就意味著很大一部分錯誤都可以在編譯時被發(fā)現(xiàn)，若試圖將一個數(shù)字和字符串相加，編譯器就會報 錯。haskell擁有一套強(qiáng)大的類型系統(tǒng)，支持自動類型推導(dǎo)。這一來你就不需要在每段代碼上都標(biāo)明它的類型，像計算a=5+4，你就不需另告訴編譯器 “a是一個數(shù)值”，它可以自己推導(dǎo)出來。類型推導(dǎo)可以讓你的程序更加簡練。假設(shè)有個二元函數(shù)是將兩個數(shù)值相加，你就無需聲明其類型，這個函數(shù)可以對一切可 以相加的值進(jìn)行計算。

haskell采納了很多高級概念，因而它的代碼優(yōu)雅且簡練。與同層次的命令式語言相比，haskell的代碼往往會更短，更短就意味著更容易理解，bug也就更少。

haskell的研發(fā)工作始于1987年，當(dāng)時是一個學(xué)會的精英分子（很多PhD哦）聚到一塊兒，商量著要設(shè)計一門牛X的語言。03年，《 Haskell Report 》發(fā)布，，標(biāo)志著穩(wěn)定版本的最終確定。

一 個編輯器和一個編譯器。你可能已經(jīng)安裝了最喜歡的編輯器，在此不加贅述。如今最常用的haskell編譯器是GHC和hugs，在本教程中我們將使用 ghc。安裝的細(xì)節(jié)就不消多說了，在windows下只要下載一個installer然后一路next最后重啟一下（貌似不需要重啟，譯者注）即可；在基 于debain的linux系統(tǒng)下一個apt-get install ghc6 libghc6-mtl-dev看著玩就是了；我沒mac電腦，不過聽說你如果安裝了macPort，就可以通過sudo port install ghc來獲得ghc。嗯，應(yīng)該可以用那古怪的單鍵鼠標(biāo)搞haskell吧，我拿不準(zhǔn)。

GHC 既可以解釋執(zhí)行haskell腳本（通常是以.hs作為后綴），也可以編譯。它還有個交互模式，你可以在里面調(diào)用腳本里定義的函數(shù)，即時得到結(jié)果。 對于學(xué)習(xí)而言，這可比每次修改都編譯執(zhí)行要方便的多。想進(jìn)入交互模式，只要打開控制臺輸入ghci即可。假設(shè)你在myfunctions.hs里定義了一 些函數(shù)，在ghci中輸入:l myfunctions.hs}載后就可以調(diào)用了。一旦修改了這個.hs文件的內(nèi)容，再次執(zhí)行:l myfunctions.hs或者與之等價的:r，都可以重新裝載該文件。我本人通常就是在.hs文件中定義幾個函數(shù)，再到ghci裝載，調(diào)試，再修改再裝載。這也正是我們往后的基本流程。

  本文關(guān)鍵詞：Haskell趣學(xué)指南，由筆耕文化傳播整理發(fā)布。