淺談 Java 8 函數式編程：從類型系統演進看 Lambda 的本質

Java 8 引入 Lambda 表達式被稱為「函數式編程來到 Java」。但 Java 真正成為函數式語言了嗎？本文從類型系統演進、函數式核心特徵、Java 8 實現機制三個維度深度剖析。

函數式編程的核心特徵

• 一等公民函數： 函數可賦值、傳參、返回、動態創建
• 純函數： 相同輸入必得相同輸出，無副作用，不依賴外部狀態
• 不可變數據： 數據結構創建後不可修改，消除共享狀態競爭
• 聲明式組合： filter → map → reduce 管道式處理，而非命令式迴圈

語言函數式程度光譜

強制純函數式 (Haskell, Clojure) 
    ↓ 允許可變但鼓勵函數式 (Scala, F#, Kotlin)
    ↓ 支援函數式特性但非核心 (Java 8+, C#, Python, JS)
    ↓ 傳統命令式 (Java 7-, C, C++ 早期標準)

Java 類型系統演進回顧

Lambda 的本質：語法糖 + 類型推斷

// 寫法
Runnable r = () -> System.out.println("Hello");

// 編譯器視為
Runnable r = new Runnable() {
    @Override public void run() { System.out.println("Hello"); }
};

// 關鍵差異：類型由目標類型推斷（Target Typing）
// 無目標類型上下文 → 編譯錯誤
// Object o = () -> {}; // 錯誤：Object 非函數式接口

關鍵結論

1. 無新類型： Lambda 編譯為函數式接口實例，JVM 仍只識別類
2. 標稱類型不變： 每個值仍屬於某個具體類
3. 結構類型缺失： 無法像 Scala {def bar: String} 直接描述結構

Java 8 函數式編程實際能力

獲得的能力

• 函數式接口：Predicate, Function, Consumer, Supplier
• Stream API：filter/map/flatMap/reduce/collect 管道操作
• 方法引用：String::valueOf, obj::method, Class::new
• 默認方法：接口演進不破壞實現類

仍存的限制

• 無尾調用優化，遞歸深度受限
• 無模式匹配、代數數據類型（JDK 14+ records/sealed 類開始改善）
• 可變狀態無處不在，純函數需自律
• 函數組合不如 Scala/Haskell 自然（無高階類型、類型類）

「適度函數式」的工程價值

Java 8 並未追求純粹，而是提供「恰到好處」的函數式工具箱：

• 集合處理從 10 行縮減為 1 行鏈式調用
• 並行流 parallelStream() 一鍵利用多核
• 配合 Optional、CompletableFuture 構建異步非阻塞鏈路
• 框架生態全面適配（Spring、MyBatis、Jackson 等）

高階選擇：JVM 上的真·函數式語言

若項目需純粹函數式：Scala（OOP+FP 混合）、Kotlin（現代實用）、Clojure（Lisp 方言、不可變持久化數據結構）。它們與 Java 無縫互操作，可按模塊選擇。