將多個參數的 function 也 Point-free

對於只有一個參數的 function,我們可以很輕易地 Point-free,對於兩個以上參數的 function 呢 ? 這時就要使用 Ramda 殺手級 operator:useWith()

Version


WebStorm 2018.3.3
Quokka 1.0.136
Ramda 0.26.1

Non Point-free


1
2
3
4
5
6
7
8
9
10
import { find, propEq } from 'ramda';

const data = [
{ id: 1, title: 'Functional Programming in JavaScript' },
{ id: 2, title: 'RxJS in Action' },
{ id: 3, title: 'Speaking JavaScript' },
];

const getBook = (id, data) => find(propEq('id', id), data);
console.dir(getBook(1, data));

若我們想根據 id 找資料,建立了 getBook(),其中第一個參數為要搜尋的 id,第二個參數為 data,再使用 find() 找到該 object。

find()
(a -> boolean) -> [a] -> a | undefined
根據 predicate function 搜尋 array 中的資料

這樣寫是 OK 的,唯 getBook() 尚有兩個參數 iddata ,並不是 Point-free。

usewith000

Point-free


1
2
3
4
5
6
7
8
9
10
11
import { find, propEq, useWith, identity } from 'ramda';

const data = [
{ id: 1, title: 'Functional Programming in JavaScript' },
{ id: 2, title: 'RxJS in Action' },
{ id: 3, title: 'Speaking JavaScript' },
];

/** a -> [a] -> a | undefined */
const getBook = useWith(find, [propEq('id'), identity]);
console.dir(getBook(1, data));

對於這種超過一個參數的 function,若我們想做 Point-free,我們可以使用 Ramda 的 useWith(),他將回傳一個新的 curried function,且參數個數與原本 function 相同,最重要它是 Point-free。

useWith()
((x1, x2, ...) -> z) -> [(a -> x1), (b -> x2), ...] -> (a -> b -> ... -> z)
建立一個與原 function 參數個數相同的新 function,且各參數會先經過 transformer function 處理過再傳給原 function 執行

((x1, x2, ...) -> z):原本尚未 curried、尚未 Point-free 的 function

[(a -> x1), (b -> x2), ...]:為 array,有幾個參數就會有幾個 transformer function,新 function 的所有參數,都會經過 transformer function 執行過,結果才會傳給原 function

(a -> b -> ... -> z):回傳新 function,且是 curried function

usewith002

第 9 行

1
2
3
const getBook = (id, data) => find(propEq('id', id), data);
/** a -> [a] -> a | undefined */
const getBook = useWith(find, [propEq('id'), identity]);

要將 getBook() 重構成 Point-free 很簡單:

  1. find 放在 useWith() 的第一個參數
  2. 將原本 在 find() 第二個參數的 propEq('id') 改寫在 array 內
  3. id 不變,則使用 identity()

identity()
a -> a
建立傳回原本值的 function

如此 iddata 兩參數就被幹掉了,成了 Point-free。

useWith() 寫法雖然精簡,但 Point-free 版本日後可能一時看不出其 signature,建議馬上補上 signature 註解,其格式可模仿 Ramda 官網文件

usewith001

Conclusion


  • 對於參數個數兩個以上的 function,可使用 useWith() 加以 Point-free
  • useWith() 會使得原本 function 的 signature 較不明顯,建議馬上補上註解

Reference


Ramda, find()
Ramda, useWith()
Ramda, identity()