今天看的是函數(shù)式編程的相關文章，之前雖然沒接觸過函數(shù)式編程，但是這并不能阻止我們讀文章啊。

文章是這篇 Pointfree Javascript

首先肯定先來理解一下標題的意思，然后在阮一峰的博客中找到了這個

Pointfree：不使用所要處理的值，只合成運算過程。中文可以譯作"無值"風格。

文章在一開始的時候先拋出了兩段代碼，代碼如下：

// imperative style
var getAdminEmails = function(users) {
  var emails = [];
  for (var i = 0; i < users.length; i++) {
    if (users[i].role === 'admin') {
      emails.push(users[i].email);
    }
  }
  return emails;
}

var getAdminEmails = users =>
    users
      .filter(u => u.role === 'admin')
      .map(u => u.email);

大家可以思考一下這兩段代碼的區(qū)別。

第一段代碼的邏輯是我們大多數(shù)人在寫代碼的時候會使用的，先聲明一個空的數(shù)組，然后再去逐個比對，是不是admin的身份。如果是，就講這個郵箱，放入數(shù)組中。最后返回數(shù)組。

而第二段代碼的邏輯是根據(jù)正常的思維邏輯來寫的。它先拿到所有的user，然后使用js原生的filter來取出所有的role是admin的user，最后返回這些user的email。

第二段代碼的風格的一個優(yōu)點是函數(shù)的代碼更接近函數(shù)的描述。這使得它更容易理解和理解它。當其他人來研究你寫的新的代碼的時候，能夠快速了解寫了什么、運行程序的時候發(fā)生了什么。

但是這第二段代碼不是Pointfree的最終想要得到的代碼，于是下面又附上了作者想要得出最終想要的代碼的思考過程。

作者想了一下，最好我只要聲明一下這個函數(shù)就能得到結(jié)果。

var getAdminEmails = compose(getTheEmailsOf, onlyTheAdminRoleUsers);

于是作者開始實現(xiàn)這兩個函數(shù)，最終的結(jié)果是這樣。

作者先大致的介紹了一下需要使用什么基本方法。（其中compose和map是有原生方法的，但作者應該只是想大致介紹一下）

var compose = (f, g) => x => f(g(x));

var prop = p => x => x[p];

var map = f => list => list.map(f);

// which lead to:
var getTheEmailsOf = map(prop('email'));

然后是進一步的封裝。

var propEq = v => p => obj =>
  prop(p)(obj) === v;

var filter = f => list =>
  list.filter(f);

var onlyTheAdminRoleUsers =
  filter(propEq('admin')('role'));

最后是需要的函數(shù)的聲明。

var getAdminEmails = compose(
  map(
    prop('email')),
  filter(
    propEq('admin')('role')));

這就是所謂的Pointfree編程或tacit編程。這個版本完全是由其他的較小、可復用的功能組成的。這些功能不僅可以幫助我們快速完成下一個功能，而且可以幫助我們更快地理解所有的功能。當你知道什么是prop函數(shù)后，會覺得prop('something')比obj => obj.something好理解多了。

總結(jié)

Pointfree編程就是通過組合使用較小、通用、定義良好且經(jīng)過良好測試的功能來構建所需的功能進行編程的方法。

也不必擔心臨時變量，因為他會使得代碼更容易理解，更難以引入錯誤。此外，由于代碼的段落較小，使得它更容易理解、更方便測試，這使它更可靠。

當然這不是一個萬金油，因為很多時候，會存在一個完全無關的功能。我發(fā)現(xiàn)它的主要弱點在于函數(shù)具有多個參數(shù)的時候。很多時候它會導致有一大部分non Pointfree的代碼。但是總體來說，利大于弊。