js跳出函数_前端函数式演进之：一、语言范式和前端体现-CSDN博客

前端开发的工具更迭和新知识点学习总是伴随着工作。近年来，函数式编程思想已经从各方面影响着我们的工具、规范，尤其是 ES和它周边工具的演进。

从源头上说，JS具备的一些特性，和前端（含Node）程序多入口驱动、事件流较多的特性，对函数式思想也有天然的亲和。

作为在互联网浪潮中蓬勃发展的前端工程师，不总结就很难容纳更多知识。我希望能结合自己的前端经验，尝试从语言范式、函数式基础概念、函数式思维、Monad介绍、函数式工具库演进、事件流和函数响应式编程几个方面逐步描述函数式的概念、思维、演进和在前端的体现，大家相互印证，多多指正。
你们可以在后面的过程中看到一些概念名词，进而进行扩展查询；也将看到函数式编程思想的优点、在前端的体现、以及前端工具链中的 map、pipe、flatMap 进而到 Promise、Rxjs 的演进历程。

一编程范式

编程范式是我们使用的高级语言的一些设计准则。

这些设计准则约定了我们以什么样的方式告诉机器环境（编译器或更底层，以下统称机器或环境）我们希望传达的信息。

实际上的编程范式比较多，主要可以分为两种：想要告诉机器怎么利用他的穷举、跳转和记忆，逐步地完成我们交付的事情（命令式）；想要告诉机器我们要什么（声明式），由机器按照已在编译器中实现的策略来完成任务。

此外，还有一些和之上方式并不冲突的常见语言设计准则，比如面向对象、元编程等。

二命令式编程 Imperative Programming

有其他名字如指令式、过程式 (Procedural programming)。

我们一般理解为顺序编程加一些控制流程的语句。

比如运算语句、循环语句（while、for）、条件分支语句（if）、无条件分支语句(goto、程序调用等)。

程序调用的对象包括，由包含一系列运算步骤的程序(Procedures)、例程(Routines)、子程序(Subroutines)、方法（methods）、函数（functions），我们在JS里可以统一理解为模块中的方法。

命令式编程是我们学习很多新语言都普遍具备的编程方法，区别多在于：

变量使用前是否需要申明、变量作用域、变量基本类型、集合的类型、等等。

命令式编程在我们的代码中广泛存在，尤其在使用框架之前的早期代码（jQuery时代），以及当前业务框架的各个生命周期方法和业务代码中（init方法，接口调用逻辑中）。

代码示例（代码示例不一定是JS代码，可能有伪代码和其他语言）：

sum

三面向对象 Object-oriented programming / OOP

把计算机程序视为一组对象的集合。
而每个对象都可以接收并处理其他对象发过来的消息，计算机程序的执行就是一系列消息在各个对象之间的传递。

前端开发听到的面向对象多来自后端的JAVA开发同学。JAVA在很多层面贯彻了面向对象和它的三大要素（继承、封装、多态），而我们看到的代码形式多是class 和一个个的包。因为和Java的密切关系，我们引入了 class和诸多语法糖，虽然我们日常的使用并不一定很贴切它的初衷。

代码示例（Python）

class

而实际上，前端的很多编码内容都有面向对象的设计思想在，比如我们的组件。
大家可以离开class，思考组件或者说前端的业务模块是怎样实现继承（扩展）、封装、多态、消息传递等。

面向对象的编程思想基于高效的信息抽象（将事物或过程抽象成一类信息的个体，继而生成信息岛屿），再寻求建立事物或过程之间的联系。
它是一种很好地处理将现实中已有事物和过程抽象到计算机信息系统中的方法。

四元编程 Metaprogramming

编写或者操纵其他程序（或者自身）作为它们的数据，或者在运行时完成部分本应在编译时完成的工作。

代码示例（Ruby）

>> a
NameError: undefined local variable or method `a' for main:Object
from (irb) 1
>> ruby has no bare words
NameError: undefined local variable or method `words' for main:Object
from (irb) 1
>> def method_missing(*args); args.join(" "); end
=> nil
>> ruby has bare words
=> "ruby has bare words"
>> bare words can even have bangs!
=> "bare words can even have bangs!"

在Ruby中，我们可以通过 method_missing 快速定义语法层面的方法。上面代码中 "ruby has no bare words" 这个没有关键字的句子，前后两次的输出结果截然不同。

事实上，因为JS的原型继承和解释型语言的特性，我们可以通过对基础类型的原型方法的重新定义实现一些类似的功能；还可以通过装饰器、代理、Babel插件等工具做更多类似的事情。
我们可以在运行时完成更多类似操作的代价，就是也要承担程序运作时的语法错误风险。

元编程，或者运行环境的元信息在我们制作工具，或者想上寻求更多能力时是至关重要的。

关于我们的代码，我们总是在想在开发平台（可视化搭建、二次开发平台）、业务组件代码、构建时代码、运行时代码等多个层级逐级向上做切面开发和元编程，大家可以识别下在每次突破次元壁时需要操作的环境内容。