让我们谈谈什么是:lambdas(匿名函数)、 first-class functions(头等函数)、higher-order functions(高阶函数)、unary functions(一元函数)、currying(柯里化 )和pure functions(纯函数)。
1、什么是 Lambdas(匿名)=> 箭头函数?
Lambdas (λ) 在 JavaScript 作为 arrow functions(箭头函数)被广为所知:
1 | // this is your regular named function in JavaScript |
术语 lambda 是一个正式的数学逻辑系统,起源于 lambda 演算。Lambda 演算是由图灵完成的,它代表了能够构建任何图灵机的通用计算模型。Lambda expressions(匿名函数表达式) 是函数式编程的基石。如果它对你有所帮助,只需将它视为函数的新缩短语法就行。然而,在对象或类中使用它们时要注意this的指向。
2、什么是 first-class functions(头等函数)?
First-class type 意味着,该类型可以用作变量的值。在JavaScript中一个字符串是头等类型,一个函数也是头等类型。所以函数可以接受其他函数作为参数,并返回函数作为返回值。 在绑定事件监听器时,函数作为first-class被使用:
1 | const handler = () => console.log ( I am function ); |
3、什么是 higher-order functions(高阶函数)?
高阶函数是一个接受其他函数作为参数或将函数作为返回值返回的函数。First-order function(一阶函数)是一个函数,它不接受其他函数作为参数,并且不返回函数作为其返回值。
1 | const firstOrder = () => console.log ( First order strikes back! ); |
4、什么是 unary functions(一元函数)?
该术语涉及一个函数接受一些参数的元数。一元函数(i.e. monadic)是一个只接受一个参数的函数。
1 | const unaryFunction = message => console.log (message); |
5、什么是 currying(柯里化)?
Currying(柯里化)是一个带有多个参数的函数并将其转换为函数序列的过程,每个函数只有一个参数。 一个有n个参数的函数,可以使用柯里化将它变成一个一元函数。
1 | const binaryFunction = (a, b) => a + b; |
Currying(柯里化)以数学家 Haskell Curry的名字命名,不是吃的。 柯里化函数非常适合提高代码的可重用性和函数式结构。
6、什么是 pure functions(纯函数)?
纯函数是一种其返回值仅由其参数决定,没有任何副作用的函数。 这意味着如果你在整个应用程序中的不同的一百个地方调用一个纯函数相同的参数一百次,该函数始终返回相同的值。纯函数不会更改或读取外部状态。
1 | let myArray = []; |
在数组中,Push函数就是不纯的,它会改变它所调用的数组,因此会产生副作用。push的返回值是一个数字索引。 另外,Concat接受数组并将其与另一个数组连接,从而产生一个没有副作用的全新数组。然后返回两个数组串联后的新数组。 纯函数很重要,因为它们简化了单元测试(没有副作用,也不需要依赖注入),它们避免紧密耦合,并通过消除副作用,使应用程序更加简洁。