[翻译] JavaScript函数的6个基本术语

原文地址

做者：Martin Novák

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

若是您不清楚命令式和声明式编程之间的区别，能够看个人文章： Imperative versus declarative code… what’s the difference?

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

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

// this is your regular named function in JavaScript
function namedFunction (a, b) {
  return a + b;
}

// this is a lambda, i.e. an arrow function
const 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 + b
curryUnaryFunction (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 1

console.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接受数组并将其与另外一个数组链接，从而产生一个没有反作用的全新数组。而后返回两个数组串联后的新数组。

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

我专门撰写了一篇文章来讨论纯函数在编程中的最佳实践：JavaScript Pure Functions for OOP developers

结语

理解函数式编程并不能让你成为更好的开发者，它会让你成为一个更好的人。你能够经过lambda演算用啤酒来招待你的朋友，能够经过有趣的数学逻辑来纠正你的家人。

要在实践中使用全部这些术语，请阅读：8 steps to turn imperative JavaScript class to a functional declarative code

另外，要了解有关条件语句和条件表达式的更多信息，请阅读：How to replace switch and ternaries in functional JavaScript