949
技術社區[雲棲]
Haskell語言為什麼值得你去學習
當我向一些新手推薦學習Haskell語言時，得到的反應通常是：“為什麼要學Haskell？”，“這是一種實用的語言嗎？”或者“這是一種我可以真正用的語言嗎？”我的回答是明確的YES。
Haskell並不是我工作時的主要語言(我基本上是為嵌入式係統寫C程序)，但我仍然發現Haskell難以置信的有用。雖然我的工作從來不用Haskell，我仍然認為花時間去學習它是值得的。那麼，為什麼要學習Haskell語言呢？
1. Haskell語言能很好的幫助運用C語言
事實證明，Haskell語言是一種非常強大的工具，能幫助你寫好C程序。我使用Haskell能做的事情經常是我平時認為用常規方法根本不可行的事。
比如說，我的同事想在代碼庫裏找到所有用在if條件語句裏的叫做foo的變量。感謝神奇的language-c程序包以及Haskell語言的泛型，我可以寫出一個Haskell函數，讓它接受一個預處理的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"
如果不包括類型標識，隻有4行Haskell代碼！類型標識通常用來做推導，它通常會被當作說明放到doc裏。
這隻是一個用在文章裏起說明作用的小例子。我使用Haskell語言做了遠比這複雜多的任務，例如從全局聲明或函數裏提取名稱和類型，或執行變換，往符合條件的表達式裏插入日誌函數或邊界檢查代碼。你找不出多少其它語言能像Haskell語言那樣讓你又快又簡潔的完成這種事情。
我並非是唯一一個在C語言開發中使用Haskell語言的人
我的一個同事開發了一個神奇的工具，叫做plunge，它能讓你比較預處理的C代碼和源代碼，顯示出源代碼中的每行出現在經過預處理的代碼的什麼位置。
同樣，還有：
- atom – 一種Haskell語言開發的麵向領域編程語言(DSL)，能夠執行編譯調度，在限定的內存使用和準確的時間裏編譯編譯代碼。
- copilot – 一種用Haskell開發的流式(例如無限長列表)DSL，可以編譯進嵌入式C程序中。
- ImProv – 用Haskell寫的一種命令式編程語言，用於高保障性應用。
還有很多。
2. Haskell語言會改變你思維的方式
我真切的認為，學習Heskell編程能夠立即直接帶來的在編程方式上的附加效應就是，它會永遠的改變你編程思考的方式。沒錯，沒錯，我知道這聽起來像那種不疼不癢的、含煳的廢話，但我是很嚴肅的！學習Haskell語言已經對我編程方式、我思考的方式產生了大量的影響，比任何我在學校裏學的任何東西的影響都大，比任何我工作上的經驗的作用都大。
你是否嚐試過寫出一個複雜的函數，但裏麵不含任何的可變變量？頭次嚐試這樣寫是十分痛苦的。但一旦你有了一些經驗，不僅你會發現它會變得很容易，而且你會開始認識到，你的函數可以分割成更小的片段，比你最初想象的更小。那些複雜的函數將會變的完全不是那麼複雜；它們可以變成由三個簡單函數組成的函數！
這就像是，你隻用右腳踢足球，但有一天，你的教練禁止你使用右腳。起初你怎麼踢都覺得別扭。但最終你左腳變的和你的右腳一樣厲害，你最終成為了一名更優秀的足球運動員。
Haskell語言是如此的與眾不同，以至於它會迫使你用完全不同的方式思考你的程序。這就是它是一種很難學的語言的原因之一，但同樣也是為什麼學習它能獲得這麼多益處的原因。
3.Haskell語言陡峭的學習曲線是件好事
在學習Haskell語言時，人們最常見的抱怨是它陡峭的學習曲線。人們的感覺是對的，它的確具有一個陡峭的學習曲線。它給你的感覺就像是完全重新學習編程。它需要你費點功夫來忘掉你直覺上想用的那種編程模式。沒有可變變量！靜態類型！我的神呀，它可以把一個函數當成參數，並返回這個函數！怎麼會有這種事！？
Haskell語言的難點並不是那些複雜的東西，而是那些簡單的東西。比如Monads；Monads是出奇的簡單。它就是一種數據類型，它的實例由兩個非常簡單的函數實現。大部分的實現都隻有一、兩行代碼！領會這些隱式的，有用的，強大的東西會花去你大量的努力。深奧的東西需要花時間去學。這很正常。這意味著你在學一些值得學的知識。
最後更新：2017-04-03 21:30:12