函数式编程

1 文章目标

  • 为什么要学习函数式编程以及什么是函数式编程
  • 函数式编程的特性(纯函数、柯里化、函数组合等)
  • 函数式编程的应用场景
  • 函数式编程库Lodash

2 什么是函数式编程

阮一峰老师的函数式编程入门教程:http://www.ruanyifeng.com/blog/2017/02/fp-tutorial.html
Franklin Risby 教授的函数式编程指北:https://llh911001.gitbooks.io/mostly-adequate-guide-chinese/content/ch1.html
关于什么是函数式编程,就不多说什么了,给两个大神的链接给各位朋友瞅瞅。以下记录以下函数式编程中重要的知识点

3 闭包

函数和对其周围状态(lexical environment,词法环境)的引用捆绑在一起构成闭包(closure)。也就是说,闭包可以让你从内部函数访问外部函数作用域。在 JavaScript 中,每当函数被创建,就会在函数生成时生成闭包。(MDN对于闭包的定义https://developer.mozilla.org/zh-CN/docs/Web/JavaScript/Closures)

通过一个只执行一次的函数的例子,了解一下闭包的使用方式

function once(){
    let done = false;
    return function(){
        if(!done){
            console.log(done);
            done = true;
        }
    }
}

let f = once();
f()
f()
...

上面这个函数,无论调用多少次,只有打印第一次。 f引用的是once内部的函数。在外面,我们通过调用f可以访问到once函数的作用域。

4 纯函数

  • 对于相同的输入,永远得到相同的输出。它不依赖于程序执行期间函数外部任何状态或数据的变化,只依赖于输入参数
  • 除了纯函数以外的任何变动,都不影响纯函数
  • 纯函数还使得维护和重构代码变得更加容易,你可以放心的修改某个纯函数,不必关心改动会影响其它地方
  • 由于对于相同的输入,永远得到相同的输出,所以纯函数可以缓存,之后调用传入相同参数是,不用执行,直接获取之前计算的值
    纯函数缓存例子
function memorize(fn){
    let caches = {} // 用于缓存之前的计算
    return function(){
        let arg_str = JSON.stringify(arguments)
        caches[arg_str] = caches[arg_str] || fn.apply(null,arguments);
        return caches[arg_str]
    }
}

function sum(a ,b){
    console.log(a,b); // 从这里可以看出执行了几次sum函数
    return a + b;
}

let sumM = memorize(sum)

console.log(sumM(1,2));
console.log(sumM(2,2));
console.log(sumM(1,2));

5 柯里化

  • 把一个多参数的函数,转化为单参数函数。
  • 柯里化可以让我们给一个函数传递较少的参数得到一个已经记住了某些固定参数的新函数
  • 这是一种对函数参数的'缓存'
  • 让函数变得更灵活,让函数的粒度更小
  • 可以把多元函数转换成一元函数,可以组合使用函数产生强大的功能
    这里看到一位朋友写的关于柯里化的也不错:https://www.jianshu.com/p/2975c25e4d71
    下面是对于柯里化的使用例子
function curry(fn){
    return function curried(...args){
        // args还用来保存上一步的参数
        if(fn.length > args.length){
            return function(){
                return curried(...args.concat(Array.from(arguments)))
            }
        }
        return fn(...args)
    }
}

function add(a, b, c){
    return a + b + c
}

let cAdd = curry(add)

console.log(cAdd(1)(2)(3));
console.log(cAdd(1,2)(3));
console.log(cAdd(1,2,3));
console.log(cAdd(1)(2,3));

6 compose组合

WechatIMG81.png

如图,现在有这么一个操作,数据a经过f函数处理后在经过g函数处理后得到c;代码操作入下

function f(x){
    return x + 1
}
function g(x){
    return x * x
}
console.log(g(f(2)));

如果增加一些操作就会形如以下a(b(c(d(e())))); 为了处理这样的函数,就需要组合一下函数了,使我们最后能够使用f(x)就能得到结果

function compose(...args){
    return function(x){
         return args.reduce(function(total,fn){
            return fn(total)
        },x)
    }
}
let p = console(f,g)

简化compose

let compose = (...args) => x => args.reduce((total,fn) => fn(total), x);

7 函子

有些副作用是不可避免的,但是使用函子,可以将副作用控制在可控范围内。

7-1 什么是副作用

函数副作用是指当调用函数时,除了返回函数值之外,还对主调用函数产生附加的影响。副作用的函数不仅仅只是返回了一个值,而且还做了其他的事情。这里有一边关于副作用的文章:http://www.fly63.com/article/detial/1176

副作用如下
1、修改了一个变量
2、直接修改数据结构
3、设置一个对象的成员
4、抛出一个异常或以一个错误终止
5、打印到终端或读取用户输入
6、读取或写入一个文件
7、在屏幕上画图

7-2 什么是函子
  • 是一个特殊的容器,通过一个普通对象来实现,该对象具有map方法,map方法可以运行一个函数对值进行处理(变形关系)
  • 使用函子可以实现链式编程
    这个例子只提到关于链式编程,8以下都是对于函子锁引出的问题进行解决(将副作用控制的可控范围内)
class Functor {
    // 为了使用这个函子的时候可以不在外部显示的使用new functor,添加一个静态的of方法
    static of(value){
        return new Functor(value)
    }
    constructor(value){
        this._value = value
    }
    map(fn){
        return Functor.of(fn(this._value))
    }
    getVal(){
        return this._value
    }
}

let p = Functor.of(2).map(x => x + 2).map(x => x * 2).getVal()
console.log(p);
7-3 总结
  • 函数式编程的运算不直接操作值,而是由函子完成
  • 函子就是一个实现了map契约的对象
  • 我们可以把函子想象成一个盒子,这个盒子里封装了一个值
  • 想要处理盒子中的值,我们需要给盒子的map方法穿第一个处理值的函数(纯函数),由这个函数来对值进行处理
  • 最终map方法返回一个包含新值的盒子(函子)

8 MayBe函子

  • 我们在编程过程中可能会遇到很多错误,需要对这些错误进行相应的处理
  • MayBe函子的作用就是可以对外部的空值进行处理(控制副作用在允许范围内)
// 由于传入为空,不能执行转为大写操作,报错
Functor.of(null).map(x => x.toUpperCase())
class MayBe extends Functor{
    static of(value){
        return new MayBe(value)
    }
    map(fn){
        return this._value ? Functor.of(fn(this._value)) : Functor.of(null)
    }
}

let p2 = MayBe.of(null).map(x => x.toUpperCase()).getVal()
console.log(p2);

9 Either

Either 并不仅仅只对合法性检查这种一般性的错误作用非凡,对一些更严重的、能够中断程序执行的错误比如文件丢失或者 socket 连接断开等,Either 同样效果显著。这里,我仅仅是把 Either 当作一个错误消息的容器介绍给你!

class Left{
   static of(value){
       return new Left(value)
   }
   constructor(value){
       this._value = value
   }
   map(fn){
       return this
   }
}
class Right{
   static of(value){
       return new Right(value)
   }
   constructor(value){
       this._value = value
   }
   map(fn){
       return Right.of(fn(this._value))
   }
}

function parseJSON(str){
   try{
       return Right.of(JSON.parse(str))
   }catch(err){
       return Left.of({message: err.message})
   }
}

let p = parseJSON('hello world')
console.log(p);

10 IO函子

  • IO函子中的_value是一个函数,这里是把函数最为值来处理
  • IO函子可以把不纯的动作存储到_value中,延迟执行这个不纯的操作(惰性执行),包装当前的操作为纯
  • 把不纯的操作交给调用者处理
const fp = require('lodash/fp')

class IO{
    static of(value){
        return new IO(function(){
            return value
        })
    }
    constructor(fn){
        this._value = fn
    }
    map(fn){
        return new IO(fp.flowRight(fn,this._value))
    }
}

let f = new IO(process).map(p => p.execPath)

11 Folktale

  • 异步任务的实现过于复杂,使用folktale中的task来演示
  • folktale是一个标准的函数式编程库
  • 和lodash、ramda、不同的是,他没有提供很多功能函数
  • 只是提供了一些函数式处理的操作,例如:compose、curry等,一些函子 Task、Either、MayBe 等
    使用task函子执行异步任务
// npm i folktale

// Task 处理异步任务
const fs = require('fs')
const {task} = require('folktale/concurrency/task')
const {split, find} = require('lodash/fp')

function readFile(filename){
    return task(resolver => {
        fs.readFile(filename,'utf-8',(err,data) => {
            if(err)resolver.reject(err)
            resolver.resolve(data)
        })
    })
}

readFile('package.json') // 返回task函子
.map(split('\n'))
.map(find(x => x.includes('version')))
.run()
.listen({
    onRejected: err => {
        console.log(err);
    },
    onResolved: value => {
        console.log(value);
    }
})

12 IO函子的问题

函子嵌套了

const fs = require('fs')
const fp = require('lodash/fp')

class IO{
    static of(value){
        return new IO(function(){
            return value
        })
    }
    constructor(fn){
        this._value = fn
    }
    map(fn){
        return new IO(fp.flowRight(fn,this._value))
    }
}

let readFile = function(filename){
    return new IO(function(){
        return fs.readFileSync(filename,'utf-8')
    })
}

let Print = function(x){
    return new IO(function(){
        console.log(x);
        return x
    })
}

let cat = fp.flowRight(Print, readFile)
let r = cat('package.json')
console.log(r._value()._value());

13 Monad函子

解决函子嵌套的问题

  • Monad 函子是可以变扁的 Pointed(有静态 of方法的) 函子, IO(IO(x))
  • 一个函子如果具有join和of两个方法并遵守一些定律就是一个Monad
const fs = require('fs')
const fp = require('lodash/fp')

class IO{
    static of(value){
        return new IO(function(){
            return value
        })
    }
    constructor(fn){
        this._value = fn
    }
    map(fn){
        return new IO(fp.flowRight(fn,this._value))
    }
    join(){
        return this._value()
    }
    flatMap(fn){
        let s = this.map(fn).join()
        console.log(1,s);
        return s
    }
}

let readFile = function(filename){
    return new IO(function(){
        let file = fs.readFileSync(filename,'utf-8')
        console.log(file);
        return file
    })
}

let Print = function(x){
    console.log("flatMap中join:执行读取,并且执行打印,结束后就是读取完数据,并且返回打印中那个函子")
    console.log(x);
    return new IO(function(){
        return x
    })
}

let cat = readFile('package.json')
.flatMap(Print)

console.log(cat);
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 199,830评论 5 468
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 83,992评论 2 376
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 146,875评论 0 331
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 53,837评论 1 271
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 62,734评论 5 360
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,091评论 1 277
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,550评论 3 390
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,217评论 0 254
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,368评论 1 294
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,298评论 2 317
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,350评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,027评论 3 315
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,623评论 3 303
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,706评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 30,940评论 1 255
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 42,349评论 2 346
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 41,936评论 2 341