Ramda 之 useWith()

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

Version

WebStorm 2018.3.3

Quokka 1.0.136

Ramda 0.26.1

Non Point-free

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。

這樣寫是 OK 的，唯 getBook() 尚有兩個參數 id 與 data ，並不是 Point-free。

Point-free

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。

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

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

(a -> b -> ... -> z) ：回傳新 function，且是 curried function

第 9 行

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()

如此 id 與 data 兩參數就被幹掉了，成了 Point-free。

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

Conclusion

useWith()
useWith()

Reference

Ramda , find()

Ramda , useWith()

Ramda , identity()