函数编程式学习笔记

函数编程式这个概念在最近几年的开发中似乎又变得流行起来。因此,笔者觉得有必要对这方面进行一些学习和了解。本文就是笔者在阅读完《: ES6函数式编程入门经典》做的一些笔记,希望能理清一些函数编程式中的重要概念。

1.什么是函数编程式?

在《Javscript ES6函数式编程入门经典》中,作者将函数编程式定义为:

函数编程式是一种编程范式,我们能够以此创建仅依赖输入就可以完成自身逻辑的函数。这保证了当函数被多次调用时仍然返回相同的结果。

可能看了这段定义,大家对于函数编程式还是不太理解。这和我们平常的面对对象或者面向过程的编程到底有什么区别呢?举一个简单的例子:现在有一个需求,让我们去遍历数组中的元素并将其打印到控制台。大家可能会不假思索地写出下面的代码:

代码清单 1-1
var arr = [1,2,3,4];
for(var i = 0; i< arr.length; i++) {
    console.log(i);//打印出 1,2,3,4
}

1-1中的代码风格我们可以称之为命令式编程,也就是说,告诉程序应该怎么做。而在声明式函数中,我们仅仅告诉程序做什么,而不是如何做。如何做的这部分将被抽象到普通函数中。下面的代码就是声明式编程。

代码清单1-2
var arr = [1,2,3,4];
arr.forEach(item => console.log(item)) 

1-2中的代码中forEach函数的功能就是遍历,它是一个被抽象的函数,具体的逻辑实现已经被封装在了函数中。如果还不明白。建议大家可以参考一下知乎上的这个问题:什么是函数式编程思维,分析的比较清楚。


2.理解高阶函数

在函数编程式中,高阶函数是一个基础的概念,我们必须去理解它。那么什么是高阶函数呢?定义如下:

高阶函数是接受函数作为参数并且/或者返回函数作为输出的函数。

简单的来说,高阶函数可以将函数作为参数,并且也可以把函数作为返回的对象。相关代码如下:

代码清单2-1
//将函数作为传输 并且把函数作为返回对象
const demo = fn => fn; 

//更具体的一个例子
const forEach = (arr,fn) => { 
  for(var i = 0; i < arr.length; i++ ){
    fn(arr[i])
  }
}

3. 理解柯里化

谈到函数编程式就离不开柯里化,那么到底什么是柯里化呢? 定义如下:

柯里化是将一个多元函数转换为一个嵌套的一元函数的过程。

是不是不太明白呢? 我们可以通过下面的例子来了解一下。假设我们有一个加法函数,代码如下:

 const add = (x, y)=> x+y

首先,它有2个参数,所以它是一个二元函数。按照柯里化的定义,我们需要将这个二元函数转化为一个嵌套的一元函数。那么到底怎么转呢,我们将会用到闭包,代码如下(如果对此概念不太熟悉,建议可以查询一些相关资料。)

  const addCurried = x => y => x+y

上述代码将一个二元函数转化为了一个嵌套的一元函数,是不是完全符合我们对柯里化的理解!最后我们可以总结一下这个柯里化的函数(下面的代码只针对二元转一元),代码如下:

  const curried() = fn => firstArg => secondArg =>  fn(firstArg, secondArg)

4. 理解组合

组合概念也是函数编程式中一个非常重要的概念。简单地来说,组合就是把2个小的单一功能的函数拼接成一个具有实际功能的函数。这里面包含了Unix中的两个非常重要的思想:单一职能和管道。

  • 单一职能: 每个程序只做好一件事情。
  • 管道: 每一个程序的输出应该是另一个未知程序的输入。

我们可以先看一个简单的例子:有一个需求,要求计算字符串中英文单词的个数。按照Unix的思想,我们可以将这个需求分为2个小的函数,并且将这两个函数使用compose组合,就达到了我们想要的目的。相关代码如下:

let splitIntoWords = str => str.split(' ')  // 将数组以空格进行分开 组装成数组
let count = arr => arr.length //计算数组的长度
compose(count,splitIntoWords); //将这2个函数组合起来 完成了需求的执行

相关的compose代码如下:

const compose = (a,b) => b(a(c))

上述的代码只是简单地将2个函数以从右到左的顺序组合起来。大家可以思考一下如何将多个函数组合起来。


5.理解函子

函子这个概念在初次接触的时候不太好理解,在笔者看来,函子更像是骑了一个过滤器的作用。相关定义如下:

函子是一个普通对象,它实现了map函数,在遍历每个对象值的时候生成一个新对象。

是不是有点抽象,我们可以通过具体代码来理解一下:

const Container = function(value){
  this.value = value;
};

Container.of = function(value){
  return new Container(value);
}

Container.prototype.map = function(fn){
  return Container.of(fn(this.value));
}

简单地来说,函子就是一个实现了map契约的对象。它可以帮助我们去做对值类型的过滤处理异常错误。


以上就是笔者关于javascript编程式的一些笔记。写完这边文章才发现自己关于函数编程式的理解还有很多不太清楚的地方。所以笔者也会继续强化对于函数编程式的学习。

你可能感兴趣的:(函数编程式学习笔记)