JavaScript函数入门,先了解这些基本术语

让咱们谈谈什么是：lambdas（匿名函数）、 first-class functions（头等函数）、higher-order functions（高阶函数）、unary functions（一元函数）、currying（柯里化 ）和pure functions（纯函数）。

什么是Lambdas（匿名）=> 箭头函数？

Lambdas (λ) 在 JavaScript 做为arrow functions（箭头函数）被广为所知:

// this is your regular named function in JavaScriptfunction namedFunction (a, b) {  return a + b;}// this is a lambda, i.e. an arrow functionconst lambda = (a, b) => a + b;

术语lambda是一个正式的数学逻辑系统，起源于lambda演算。Lambda演算是由图灵完成的，它表明了可以构建任何图灵机的通用计算模型。 Lambda expressions(匿名函数表达式) 是函数式编程的基石。若是它对你有所帮助，只需将它视为函数的新缩短语法就行。然而，在对象或类中使用它们时要注意this的指向。

什么是first-class functions（头等函数）？

First-class type 意味着，该类型能够用做变量的值。在JavaScript中一个字符串是头等类型，一个函数也是头等类型。因此函数能够接受其余函数做为参数，并返回函数做为返回值。

在绑定事件监听器时，函数做为first-class被使用：

const handler = () => console.log ('I am function');document.addEventListener ('click', handler);

什么是higher-order functions（高阶函数）？

高阶函数是一个接受其余函数做为参数或将函数做为返回值返回的函数。 First-order function（一阶函数）是一个函数，它不接受其余函数做为参数，而且不返回函数做为其返回值。

const firstOrder = () => console.log ('First order strikes back!');const higherOrder = whoStrikesBack => whoStrikesBack ();higherOrder (firstOrder);

什么是unary functions（一元函数）？

该术语涉及一个函数接受一些参数的元数。一元函数(i.e. monadic)是一个只接受一个参数的函数。

const unaryFunction = message => console.log (message);const binaryFunction = (color, message) =>  console.log (`%c${message}`, `color:${color}`);const ternaryFunction = (fnc, color, message) =>  fnc (`%c${message}`, `color:${color}`);

什么是currying（柯里化）？

Currying（柯里化）是一个带有多个参数的函数并将其转换为函数序列的过程，每一个函数只有一个参数。

一个有n个参数的函数，可使用柯里化将它变成一个一元函数。

const binaryFunction = (a, b) => a + b;const curryUnaryFunction = a => b => a + b;curryUnaryFunction (1); // returns a function: b => 1 + bcurryUnaryFunction (1) (2); // returns the number 3

Currying（柯里化）以数学家 Haskell Curry的名字命名，不是吃的。

柯里化函数很是适合提升代码的可重用性和函数式结构。想了解更多，请参考： JavaScript ES6 curry functions with practical examples。它可能会让人习惯，可是我如今写的全部函数都归功于柯里化。

什么是pure functions（纯函数）？

纯函数是一种其返回值仅由其参数决定，没有任何反作用的函数。

这意味着若是你在整个应用程序中的不一样的一百个地放调用一个纯函数相同的参数一百次，该函数始终返回相同的值。纯函数不会更改或读取外部状态。

let myArray = [];const impureAddNumber = number => myArray.push (number);const pureAddNumber = number => anArray =>  anArray.concat ([number]);console.log (impureAddNumber (2)); // returns 1console.log (myArray); // returns [2]console.log (pureAddNumber (3) (myArray)); // returns [2, 3]console.log (myArray); // returns [2]myArray = pureAddNumber (3) (myArray);console.log (myArray); // returns [2, 3]

在数组中，Push函数就是不纯的，它会改变它所调用的数组，所以会产生反作用。 push的返回值是一个数字索引。

另外，Concat接受数组并将其与另外一个数组链接，从而产生一个没有反作用的全新数组。而后返回两个数组串联后的新数组。

纯函数很重要，由于它们简化了单元测试（没有反作用，也不须要依赖注入），它们避免紧密耦合，并经过消除反作用，使应用程序更加简洁。