1. 程式人生 > >s函數語言程式設計(三)-compose和pointFree

s函數語言程式設計(三)-compose和pointFree

compose即函式巢狀組合

組合compose在第一篇已經初見端倪,可以感受一下。compose函式的實現用閉包的方法。不完善實現如下:

const compose = (f, g) => {
  return x => f(g(x));
};

compose使用例項

你可以用ramda的compose函式,而不是自己實現。

import {compose} from 'ramda'
const f = (x: number) => 2 * x
const g = (y: number) => y + 1
const w = compose(g, f);
console.log(w(1)) // 3
console.log(w(2)) // 5
console.log(w(3)) // 7

compose的數學特性

有了compose,我們可以很方便的組合,可以使用結合律,即

compose(toUpperCase, compose(head, reverse));

或者

compose(compose(toUpperCase, head), reverse);

你可以想想初中數學,這是成立的。現在多個函式組合成一個大函式,我們的程式碼開始變得巧妙起來了。

compose天生pointFree

用compose組合的就是pointFree程式碼,即你無需指定傳遞的形參,你可以看看w函式,就知道了。是不是更妙了?其實離上一個妙,我們什麼也沒做。哈哈哈! 組合像一系列管道那樣把不同的函式聯絡在一起 ----原文

要注意的是

compose只將不同函式的輸出與輸入相連,上面程式碼有一些致命問題,無法分支!或者分支成本巨大,舉個例子,如果reverse出錯,那麼後續就會繼續執行,head將拿到錯誤的輸入,繼續輸出,toUpperCase就錯上加錯了,當然你可以在每個函式內做嚴謹的if/else判斷,可是成本巨大。目前compose就是一匹脫了繮的駿馬。