冒號課堂 §4.1：函數式編程範式——精巧的數學思維

課程導讀

本節深入探討函數式編程範式，對比命令式編程，揭示其核心特徵、優勢與局限，並以 Haskell、Groovy 實作快速排序為例。

為什麼要掌握編程範式？

• 語法、語義源於範式，掌握範式才能寫出符合語言哲學、韻律優雅的代碼。
• 不同範式擅長不同問題域，博採眾長方能揚長避短，代碼行雲流水。

命令式 vs. 聲明式：快速排序對比

Java（命令式/過程式）

public class Sorter {
    public static <T extends Comparable<? super T>> void qsort(T[] list) {
        qsort(list, 0, list.length - 1);
    }
    private static <T extends Comparable<? super T>> void qsort(T[] list, int low, int high) {
        if (low >= high) return;
        int i = low - 1, j = high + 1;
        T pivot = list[low];
        for (;;) {
            do { ++i; } while (list[i].compareTo(pivot) < 0);
            do { --j; } while (list[j].compareTo(pivot) > 0);
            if (i >= j) break;
            T tmp = list[i]; list[i] = list[j]; list[j] = tmp;
        }
        qsort(list, low, j);
        qsort(list, j + 1, high);
    }
}

核心：指定計算過程（賦值、迴圈、流程控制），屬過程式思維。

Haskell（純函數式）

qsort :: (Ord a) => [a] -> [a]
qsort [] = []
qsort (pivot : rest) = qsort [x | x <- rest, x < pivot]
                     ++ [pivot]
                     ++ qsort [x | x <- rest, x >= pivot]

核心：聲明計算原則（遞歸分解），無賦值、無迴圈，極度精簡。

Groovy（混合風格）

def qsort(list) {
    if (list.size() <= 1) return list
    def pivot = list[0]
    return (qsort(list.findAll { x -> x < pivot })
         + list.findAll { x -> x == pivot }
         + qsort(list.findAll { x -> x > pivot }))
}

保留函數式核心，語法更親近 Java 開發者。

函數式編程核心特徵

1. 函數是一等公民：可作參數、返回值、存入資料結構、綁定變數。
   範例：filter (< pivot) rest 中 (< pivot) 為高階函數。
2. 無副作用（或極小化）：函數調用不改變非區域狀態、不修改參數、無 I/O。
   意義：易於重構、測試、並發；引用透明（同輸入必同輸出），可進行惰性求值優化。
3. 遞歸替代迴圈：以函數自我調用表達迭代邏輯。
4. 模式匹配與列表推導：如 Haskell 的 (pivot:rest) 解構、[x | x <- rest, x < pivot] 列表推導（對應數學集合表示法 {x | x ∈ rest, x < pivot}）。

優勢與局限

歷史與現狀

• 理論基礎：λ-演算（圖靈完備）。
• 代表語言：Haskell（純）、Lisp/Scheme/ML（非純）、Scala/F#/Clojure（混合）、Groovy/Java 8+（引入函數式特性）。
• 應用領域：數學計算、編譯器、金融建模、並發系統、DSL 開發。

課後思考

• 嘗試用函數式風格重寫一個熟悉的命令式算法。
• 探索 Java 8 Stream API、Groovy 集合方法如何體現函數式思想。
• 閱讀《Haskell 趣學指南》或《函數式程式設計入門》深化理解。