函數式程式語言#

• 第1章 數學基礎與起源
  • 1.1-1930sChurch的λ演算：函數式程式的數學基石
  • 1.2-1958Lisp的誕生：McCarthy與符號運算
  • 1.3-遞迴、不動點與Y組合子
• 第2章 型別系統
  • 2.1-1958ML的起源與Hindley-Milner型別推導
  • 2.2-1977Backus的圖靈獎演說與代數資料型別
  • 2.3-Curry-Howard對應：型別即命題、程式即證明
• 第3章 純函數式與惰性求值
  • 3.1-1985Miranda與純度、副作用問題
  • 3.2-1990Haskell：惰性求值、thunk與圖規約
  • 3.3-1990sMonad：以純函數處理副作用
• 第4章 高階抽象與實作
  • 4.1-閉包的實作：環境、捕獲與upvalue
  • 4.2-尾端呼叫與continuation：CPS變換
  • 4.3-惰性串流與無限資料結構
• 第5章 現代函數式
  • 5.1-2004Scala與JVM上的函數式復興
  • 5.2-型別類、trait與Functor-Applicative-Monad實務
  • 5.3-函數式反應式程式設計（FRP）與Elm