當(dāng)我向一些新手推薦學(xué)習(xí)Haskell語(yǔ)言時(shí)，得到的反應(yīng)通常是：“為什么要學(xué)Haskell？”，“這是一種實(shí)用的語(yǔ)言嗎？”或者“這是一種我可以真正用的語(yǔ)言嗎？”我的回答是明確的YES。

網(wǎng)站建設(shè)哪家好，找成都創(chuàng)新互聯(lián)！專注于網(wǎng)頁(yè)設(shè)計(jì)、網(wǎng)站建設(shè)、微信開發(fā)、小程序定制開發(fā)、集團(tuán)企業(yè)網(wǎng)站建設(shè)等服務(wù)項(xiàng)目。為回饋新老客戶創(chuàng)新互聯(lián)還提供了南平免費(fèi)建站歡迎大家使用！

Haskell并不是我工作時(shí)的主要語(yǔ)言(我基本上是為嵌入式系統(tǒng)寫C程序)，但我仍然發(fā)現(xiàn)Haskell難以置信的有用。雖然我的工作從來(lái)不用Haskell，我仍然認(rèn)為花時(shí)間去學(xué)習(xí)它是值得的。那么，為什么要學(xué)習(xí)Haskell語(yǔ)言呢？

1. Haskell語(yǔ)言能很好的幫助運(yùn)用C語(yǔ)言

事實(shí)證明，Haskell語(yǔ)言是一種非常強(qiáng)大的工具，能幫助你寫好C程序。我使用Haskell能做的事情經(jīng)常是我平時(shí)認(rèn)為用常規(guī)方法根本不可行的事。

比如說(shuō)，我的同事想在代碼庫(kù)里找到所有用在if條件語(yǔ)句里的叫做foo的變量。感謝神奇的language-c程序包以及Haskell語(yǔ)言的泛型，我可以寫出一個(gè)Haskell函數(shù)，讓它接受一個(gè)預(yù)處理的C源代碼路徑作為輸入值，輸出找到的位置(如果有的話)，就像下面：

 
 
 
 

  
  
  
  
parseAndFindFoos :: FilePath -> IO (Either ParseError [Position])  
  
  
  
  
 
  
  
  
  
parseAndFindFoos path = liftM (fmap findFooLocations) (parseCFilePre path)  
  
  
  
  
 
  
  
  
  
findFooLocations input = fmap posOf (listify isIfOfInterest input)  
  
  
  
  
 
  
  
  
  
isIfOfInterest (CIf cond _ _ _) = not (null (listify isFooIdent cond))  
  
  
  
  
 
  
  
  
  
isFooIdent (Ident name _ _) = name == "foo" 
 
 
 
 

如果不包括類型標(biāo)識(shí)，只有4行Haskell代碼！類型標(biāo)識(shí)通常用來(lái)做推導(dǎo)，它通常會(huì)被當(dāng)作說(shuō)明放到doc里。

這只是一個(gè)用在文章里起說(shuō)明作用的小例子。我使用Haskell語(yǔ)言做了遠(yuǎn)比這復(fù)雜多的任務(wù)，例如從全局聲明或函數(shù)里提取名稱和類型，或執(zhí)行變換，往符合條件的表達(dá)式里插入日志函數(shù)或邊界檢查代碼。你找不出多少其它語(yǔ)言能像Haskell語(yǔ)言那樣讓你又快又簡(jiǎn)潔的完成這種事情。

我并非是唯一一個(gè)在C語(yǔ)言開發(fā)中使用Haskell語(yǔ)言的人

我的一個(gè)同事開發(fā)了一個(gè)神奇的工具，叫做plunge，它能讓你比較預(yù)處理的C代碼和源代碼，顯示出源代碼中的每行出現(xiàn)在經(jīng)過(guò)預(yù)處理的代碼的什么位置。

同樣，還有：

• atom – 一種Haskell語(yǔ)言開發(fā)的面向領(lǐng)域編程語(yǔ)言(DSL)，能夠執(zhí)行編譯調(diào)度，在限定的內(nèi)存使用和準(zhǔn)確的時(shí)間里編譯編譯代碼。
• copilot – 一種用Haskell開發(fā)的流式(例如無(wú)限長(zhǎng)列表)DSL，可以編譯進(jìn)嵌入式C程序中。
• ImProv – 用Haskell寫的一種命令式編程語(yǔ)言，用于高保障性應(yīng)用。

還有很多。

2. Haskell語(yǔ)言會(huì)改變你思維的方式

我真切的認(rèn)為，學(xué)習(xí)Heskell編程能夠立即直接帶來(lái)的在編程方式上的附加效應(yīng)就是，它會(huì)永遠(yuǎn)的改變你編程思考的方式。沒錯(cuò)，沒錯(cuò)，我知道這聽起來(lái)像那種不疼不癢的、含糊的廢話，但我是很嚴(yán)肅的！學(xué)習(xí)Haskell語(yǔ)言已經(jīng)對(duì)我編程方式、我思考的方式產(chǎn)生了大量的影響，比任何我在學(xué)校里學(xué)的任何東西的影響都大，比任何我工作上的經(jīng)驗(yàn)的作用都大。

你是否嘗試過(guò)寫出一個(gè)復(fù)雜的函數(shù)，但里面不含任何的可變變量？頭次嘗試這樣寫是十分痛苦的。但一旦你有了一些經(jīng)驗(yàn)，不僅你會(huì)發(fā)現(xiàn)它會(huì)變得很容易，而且你會(huì)開始認(rèn)識(shí)到，你的函數(shù)可以分割成更小的片段，比你最初想象的更小。那些復(fù)雜的函數(shù)將會(huì)變的完全不是那么復(fù)雜；它們可以變成由三個(gè)簡(jiǎn)單函數(shù)組成的函數(shù)！

這就像是，你只用右腳踢足球，但有一天，你的教練禁止你使用右腳。起初你怎么踢都覺得別扭。但最終你左腳變的和你的右腳一樣厲害，你最終成為了一名更優(yōu)秀的足球運(yùn)動(dòng)員。

Haskell語(yǔ)言是如此的與眾不同，以至于它會(huì)迫使你用完全不同的方式思考你的程序。這就是它是一種很難學(xué)的語(yǔ)言的原因之一，但同樣也是為什么學(xué)習(xí)它能獲得這么多益處的原因。

3.Haskell語(yǔ)言陡峭的學(xué)習(xí)曲線是件好事

在學(xué)習(xí)Haskell語(yǔ)言時(shí)，人們最常見的抱怨是它陡峭的學(xué)習(xí)曲線。人們的感覺是對(duì)的，它的確具有一個(gè)陡峭的學(xué)習(xí)曲線。它給你的感覺就像是完全重新學(xué)習(xí)編程。它需要你費(fèi)點(diǎn)功夫來(lái)忘掉你直覺上想用的那種編程模式。沒有可變變量！靜態(tài)類型！我的神呀，它可以把一個(gè)函數(shù)當(dāng)成參數(shù)，并返回這個(gè)函數(shù)！怎么會(huì)有這種事?。?/p>

Haskell語(yǔ)言的難點(diǎn)并不是那些復(fù)雜的東西，而是那些簡(jiǎn)單的東西。比如Monads；Monads是出奇的簡(jiǎn)單。它就是一種數(shù)據(jù)類型，它的實(shí)例由兩個(gè)非常簡(jiǎn)單的函數(shù)實(shí)現(xiàn)。大部分的實(shí)現(xiàn)都只有一、兩行代碼！領(lǐng)會(huì)這些隱式的，有用的，強(qiáng)大的東西會(huì)花去你大量的努力。深?yuàn)W的東西需要花時(shí)間去學(xué)。這很正常。這意味著你在學(xué)一些值得學(xué)的知識(shí)。

“只是因?yàn)槿嗆嚭脤W(xué)，你就要一輩子騎三輪車嗎？” – Douglas Englebart

英文原文：Why Haskell Is Worth Learning

原文鏈接：http://www.aqee.net/why-haskell-is-worth-learning/

名稱欄目：Haskell語(yǔ)言為什么值得你去學(xué)習(xí)
瀏覽路徑：http://uogjgqi.cn/article/dpcghjg.html