JS中的一些函数式编程术语

组合 Composition

组合某种类型（含函数）的两个元素，进而生成一个该类型的新元素：

let compose = (f, g) => a => f(g(a))

let toUpperCase = x => x.toUpperCase()
let exclaim = x => x + '!'
let shout = compose(exclaim, toUpperCase);

shout("hello world") // HELLO WORLD!

let compose = (f, g) => a => f(g(a))

let toUpperCase = x => x.toUpperCase()

let exclaim = x => x + '!'

let shout = compose(exclaim, toUpperCase);

shout("hello world") // HELLO WORLD!

偏函数应用 Partial Application

一个多参函数，如果我们只提供了部分参数，这种应用就是偏函数应用：

let sum3 = (a, b, c) => a + b + c
let partial = sum3.bind(null, 10, 20)
partial(30) // 60

let sum3 = (a, b, c) => a + b + c

let partial = sum3.bind(null, 10, 20)

partial(30) // 60

柯里化 Currying

把多参数函数处理成接受一个参数，返回一个接受下一个参数的函数的形式：

let curryingSum3 = (a) => (b) => (c) => a + b + c
let curriedSum3 = curryingSum3(30)(20) // [Function]
curriedSum3(10) // 60

let curryingSum3 = (a) => (b) => (c) => a + b + c

let curriedSum3 = curryingSum3(30)(20) // [Function]

curriedSum3(10) // 60

注意：柯里化和偏函数应用是不同的，它只接受单参输入；在Haskell这样的纯函数式语言中，只存在柯里化，多参函数是一种语法糖，这样做的好处是为函数组合提供了更灵活的手段, 并且使得接口更为流畅。

副作用 Side Effect

一个函数或表达式如果出现下面情况被认为有副作用：除了返回结果值，还修改了内部状态，或者为外界植入提供了改变内部状态的可能。有副作用的例子：随机数生成器或者 IO操作。

幂等 Idempotency

能够多次使用同样的输入参数无副作用地执行多次：

let id = x => x
id(id(id(10))) === id(10)  // true

Math.abs(Math.abs(-1)) === Math.abs(-1) // true

let id = x => x

id(id(id(10))) === id(10) // true

Math.abs(Math.abs(-1)) === Math.abs(-1) // true

引用透明性 Referential Transparency

一个表达式能够被它的值替换，而不会影响计算结果，这种表达式称为引用透明的。

let greeting = () => 'hello, '
greeting() + 'buddy'

1 2	let greeting = () => 'hello, ' greeting() + 'buddy'

上面的表达式中每次对 greeting() 的调用，都可以被替换为 'hello, '，我们可以断言 greeting()具有引用透明性。

打赏作者

您的支持将激励我继续创作！

去打赏

Mo Ye

A Conservative

Published

July 17, 2016

Mo Ye in FP | July 17, 2016