什麼是柯里化？基本概念介紹

柯里化（Currying）是一種將多參數函式轉換為一系列單參數函式的技術。例如，一個接受三個參數的函式 f(a, b, c)，經過柯里化後會變成 f(a)(b)(c) 的形式。這種技術源自數學家 Haskell Curry 的理論，在函式編程語言中廣泛使用。

基本範例如下：

// 普通函式
function add(a, b, c) {
  return a + b + c;
}

// 柯里化後
function curriedAdd(a) {
  return function(b) {
    return function(c) {
      return a + b + c;
    };
  };
}

curriedAdd(1)(2)(3); // 結果為 6

柯里化的三大缺點

儘管柯里化在理論上優雅，實際應用中存在顯著問題：

  • 可讀性降低：嵌套的箭頭函式或閉包讓程式碼變得晦澀，開發者需要花費額外時間理解執行流程
  • 調試困難：堆疊追蹤（stack trace）變得複雜，難以定位錯誤發生位置
  • IDE 支援有限：自動完成、類型推斷等功能在柯里化場景下效果大打折扣

過度抽象的風險

許多開發者為了追求「函式編程的純粹性」，將簡單的函式也進行柯里化處理。這種過度抽象會造成以下問題：

第一，程式碼邏輯被過度切割，讀者難以一眼看出函式的實際用途。第二，團隊新成員需要學習額外的抽象層，增加交接成本。第三，某些場景下簡單的函式声明反而比柯里化版本更直觀。

// 過度柯里化的例子
const calculate = (a) => (b) => (c) => (d) => (a + b) * c - d;
// 使用時：calculate(1)(2)(3)(4)

// 簡單版本
function calculate(a, b, c, d) {
  return (a + b) * c - d;
}

何時應該使用柯里化

柯里化並非一無是處，在以下場景中仍然有效：

  • 函式複合：需要將多個函式組合成新函式時
  • 延遲執行：需要預先填充部分參數，稍後再執行完整邏輯
  • 建立通用工具函式：例如陣列的 map、filter 等高階函式的實現

關鍵原則是：只有當柯里化能實際簡化問題或提升程式碼品質時才使用，而非為了「看起來更函式式」。

實務建議：平衡使用柯里化

要在程式碼中適當使用柯里化，建議遵循以下步驟：

  1. 評估需求：先以普通函式實現需求，確認功能正確
  2. 檢驗複用性：只有當同一邏輯需要不同參數組合呼叫時，才考慮柯里化
  3. 保持適度：避免超過三層的嵌套，必要時使用部分應用（Partial Application）代替
  4. 添加註解：為複雜的柯里化函式提供清晰的文件說明

記住，程式碼的首要目標是可讀性和可維護性，而非展示技術技巧。適度的柯里化能提升程式碼品質，過度則會適得其反。