Haskell

試圖從命令式語言探討函數式概念時，總有種朦朦朧朧看不清楚真貌的感覺？那麼，來學習一門純函數式語言如何？

• 起步走

  • Hello, Haskell
  • 型態系統入門
  • 初探變數與函式
  • 無所不在的函式
  • 初探 list 操作

• 流程抽象

  • map/filter/fold
  • 惰性求值
  • Comprehension 表示
  • 模式比對／Guard 運算
  • 從 lambda 到函式合成

• 代數資料型態

  • 從 tuple 到 product 型態
  • 結合 sum 與 product 型態
  • 減輕型態負擔的型態參數
  • Maybe 有無、Either 對錯
  • 型態類別定義、實作與衍生
  • 揭露欄位名稱的 record
  • type 與 newtype

• 模組

  • 定義與使用模組
  • Data.List/Set/Map 模組

• 不純的世界

  • 初探 IO 型態
  • 來寫些迴圈吧！？
  • try/catch/finally
  • 拋出與自訂例外

• 高階行為

  • 可以映射的 Functor
  • 可以套用函式的 Applicative
  • 解決巢狀運算的 Monad
  • do 區塊與 <- 綁定
  • 發掘具有組合性的行為

參考資料

• 《Haskell 趣學指南》
• 《Real World Haskell》