將普通 function 轉成 Curried Function

Ramda 之 curry() 也是非常實用的 Operator,他能將普通 function 轉成 Curried Function,這在 FP 語言算是標準配備,但一直到目前為止,ECMAScript 都還沒有正式支援,而 Curried Function 對於寫出 Point-free Style 有很大的貢獻。

Version


WebStorm 2018.3.3
Quokka 1.0.134
Ramda 0.26.1

Imperative


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
const data = [1, 2, 3];

const bookLut = {
1: 'Functional Programming in JavaScript',
2: 'RxJS in Action',
3: 'Speaking JavaScript',
};

const getBooks = data => {
let result = [];
for(let item of data) {
result.push(bookLut[item]);
}
return result;
};

const result = getBooks(data);
console.log(result);

一個實務上常見的需求,由 API 所得到的資料只有 代碼,而我們需要根據 代碼 轉成 對應資料 顯示。

至於 代碼顯示文字 的對照表,會存在 object 內。

Imperative 會使用 for loop,若在 object 比對到,則 push() 到新的 result array,最後回傳 result array。

curry000

Array.prototype


1
2
3
4
5
6
7
8
9
10
11
12
const data = [1, 2, 3];

const bookLut = {
1: 'Functional Programming in JavaScript',
2: 'RxJS in Action',
3: 'Speaking JavaScript',
};

const getBooks = data => data.map(x => bookLut[x]);

const result = getBooks(data);
console.log(result);

Array.prototype 有自帶 map(),所以我們也可以直接使用,再透過 bookLut[x] 加以對照轉換。

這種寫法已經比 Imperative 精簡很多,但仍有兩個問題:

  1. 由於內建的 map() 不是 Curried Function,因此 getBooks() 仍然要提供 data 參數,無法如 Point-Free Style 那樣精簡
  2. map() 的 Arrow Function 為一次性 function,無法重複使用

curry001

curry()


1
2
3
4
5
6
7
8
9
10
11
12
13
14
import { map } from 'ramda';

const data = [1, 2, 3];

const bookLut = {
1: 'Functional Programming in JavaScript',
2: 'RxJS in Action',
3: 'Speaking JavaScript',
};

const getBooks = map(x => bookLut[x]);

const result = getBooks(data);
console.log(result);

Ramda 亦提供 map(),與 Array.prototypemap() 不同在於:他是個 Curried Function,最後一個參數為 data,因此 getBooks() 可以使用 Point-free 寫法,如此將省下一個參數,程式碼更精簡。

map()
(a -> b) -> [a] -> [b]
將 a array 轉換成 b array,且筆數不變

(a -> b)map() 要轉換的 function

[a]:data 為 array

[b]:回傳為新的 array

由於最後一個參數為 data,使得 map() 可使用 Point-free。

curry002

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
import { map } from 'ramda';

const data = [1, 2, 3];

const bookLut = {
1: 'Functional Programming in JavaScript',
2: 'RxJS in Action',
3: 'Speaking JavaScript',
};

const mapper = x => bookLut[x];
const getBooks = map(mapper);

const result = getBooks(data);
console.log(result);

不過之前寫法,map() 之後仍然是傳 Arrow Function,因此 重複使用 程度依然是 0

我們試著將 Arrow Function 抽成 mapper()

curry003

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
import { map } from 'ramda';

const data = [1, 2, 3];

const bookLut = {
1: 'Functional Programming in JavaScript',
2: 'RxJS in Action',
3: 'Speaking JavaScript',
};

const mapper = lut => x => lut[x];
const getBooks = map(mapper(bookLut));

const result = getBooks(data);
console.log(result);

雖然抽出了 mapper(),但重複使用程度依然不高,因為直接耦合了 bookLut object。

比較好的方式是將 bookLut 也抽成參數,這樣 mapper() 可以用在其他 LUT object,重複使用程度大大提高。

curry004

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
import { map, curry } from 'ramda';

const data = [1, 2, 3];

const bookLut = {
1: 'Functional Programming in JavaScript',
2: 'RxJS in Action',
3: 'Speaking JavaScript',
};

const mapper = curry((lut, id) => lut[id]);
const getBooks = map(mapper(bookLut));

const result = getBooks(data);
console.log(result);

mapper() 雖然能重複使用,也能使用 Point-free 寫法,但有個致命傷:Curried Form,也就是要使用 mapper() 時,一定要 mapper(bookLut)(1) 這種形式。

這種寫法配合 map() 時不是問題,但若要讓 mapper() 單獨使用就很不方便,也不符合一般使用 function 習慣。

比較好的方式是 mapper() 提供兩種方式:可以 mapper(bookLut, 1) 使用,亦可 mapper(bookLut)(1) 使用,如此 mapper() 實用程度就大大提高,既可以當成一般 function 使用,也可以搭配 Ramda 的 operator 做 Point-free。

這時就要使用 Ramda 的 curry() operator,能將一般 function 轉成 Curried Form,亦能維持一般 function 的 signature。

curry()
(* -> a) -> (* -> a)
將普通 function 轉成 Curried Function

curry005

Conclusion


  • curry() 能將一般 function 轉換成 Curried Function,如此就不必為了 Point-free 量身定做寫出 Curried Form 的 function
  • 由於 curry() 過的 function 仍然可用一般 function 方式呼叫,既可配合 Ramda operator,又可單獨使用,重複使用程度大大提升

Reference


Ramda, map()
Ramda, curry()