到底什么是函数式编程 精简总结

此文用于快速回顾,不适合用来入门。

到底什么是函数式编程?我将分别用一段话来总结其 特点 和 作用。

特点:

  • 范畴论和函子
    • 函数是一等公民,高阶函数等概念
    • 函数的组合
  • 没有副作用(函数的纯度)
    • 柯里化是延伸出来的
    • 延伸问题是副作用的管理
  • 不可变量和不可变对象
  • 声明式代码

作用:

函数式编程,和面向对象编程一样都是用来 降低系统复杂度的 ,在js里面,可以说是作为一种设计思路和其他的互相补充。

就这样,完成了全文,有点空荡荡的。后面还补充一个简单的问题,来帮助思考的:

问题:基于函子思想改写,实现一个可reject的map

// 要实现的调用效果:
const result = new MMM(1)
  .map((item, reject) => {
    return item + 2;
  })
  .map((item, reject) => {
    // reject(); // 注释开关我,重新运行
    return item + 3;
  })
  .map((item, reject) => {
    return item + 4;
  })
  .join();
console.log(result) // 期望10

如果在任一个map中调用了reject,后续的map就全被跳过不必执行,同时链式调用的结果直接fallback到一个“候补值”。(为了简便,这个“fallback值”定义在js文件的作用域中,也就是后文源码的VIEW_INVALID这个值)

对比promise的调用代码:

显然这段代码结构有点像Promise的语法,但比promise简漏的是:

  1. 它不能处理异步
  2. 它一样可以reject,但是还没有catch的机制
  3. 没有办法引入函数外的副作用
  4. 没有Monad自动拆箱的机制

而从这种代码改写,直到进化到promise需要怎么改写代码呢?是很有意思的问题,这里暂时就不讨论了。

利用原型对象 代码实现:

回到正题,一开始的实现代码是这样,还是停留在“利用js原型链上的属性”的范畴

const VIEW_INVALID = 'VIEW_INVALID';
const MMM = function(value, isInvalid) {
  this.isInvalid = isInvalid || false;
  this.value = value;
}
// MMM.prototype.of = function(value) {
//   return new MMM(value);
// }
MMM.prototype.map = function(func) {
  if (!this.isInvalid) {
    const result = func(this.value, () => {
      this.isInvalid = true;
      this.value = VIEW_INVALID;
    });
    this.value = !this.isInvalid ? result : this.value;
    return new MMM(this.value, this.isInvalid);
  } else if (this.isInvalid) {
    return new MMM(this.value, this.isInvalid);
  }
}
MMM.prototype.join = function() {
  return this.value;
}

函子化改写的实现:

经研究,按照either函子的思想,源码可改写为:

const VIEW_INVALID = 'VIEW_INVALID';
// const MMM = function(value, isInvalid) { /**/ } // 代码没变,同上回
// MMM.prototype.of = function (/**/) { /**/ } // 代码没变,同上回

// 根据容器内的flag值,选择应用哪个函数:
MMM.prototype.mapEither = function(func, fForInvalid) {
  fForInvalid = fForInvalid || function(x) {return x};
  func = func || function(x) {return x};

  const todoFN = !this.isInvalid ? func : fForInvalid;
  return new MMM(todoFN(this.value), this.isInvalid);
}
MMM.prototype.map = function(func) {
  const result = func(this.value, () => {
    this.isInvalid = true;
    this.value = VIEW_INVALID;
  });
  return this.mapEither(() => result)
}

代码还可以怎么改写?这种改写之后带来什么优势?其实是比较开放性的问题。

之后如果对函数式编程有更深入的理解,我再把这个坑填上吧。