组合某种类型（含函数）的两个元素，进而生成一个该类型的新元素：
|
1
2
3
4
5
6
7
|
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!
|
一个多参函数，如果我们只提供了部分参数，这种应用就是偏函数应用：
|
1
2
3
|
let sum3 = (a, b, c) => a + b + c
let partial = sum3.bind(null, 10, 20)
partial(30) // 60
|
把多参数函数处理成 接受一个参数，返回一个接受下一个参数的函数 的形式：
|
1
2
3
|
let curryingSum3 = (a) => (b) => (c) => a + b + c
let curriedSum3 = curryingSum3(30)(20) // [Function]
curriedSum3(10) // 60
|
注意：柯里化和偏函数应用是不同的，它只接受单参输入；在Haskell这样的纯函数式语言中，只存在柯里化，多参函数是一种语法糖，这样做的好处是为函数组合提供了更灵活的手段, 并且使得接口更为流畅。
一个函数或表达式如果出现下面情况被认为有副作用：除了返回结果值，还修改了内部状态，或者为外界植入提供了改变内部状态的可能。有副作用的例子：随机数生成器 或者 IO操作 。
document。prototype。getter=function（）{get（this）}
能够多次使用同样的输入参数无副作用地执行多次：
|
1
2
3
4
|
let id = x => x
id(id(id(10))) === id(10) // true
Math.abs(Math.abs(-1)) === Math.abs(-1) // true
|
一个表达式能够被它的值替换，而不会影响计算结果，这种表达式称为引用透明的。
|
1
2
|
let greeting = () => ‘hello, ‘
greeting() + ‘buddy‘
|
上面的表达式中每次对 greeting() 的调用，都可以被替换为 ‘hello, ‘，我们可以断言 greeting()具有引用透明性。
原文：http://www.cnblogs.com/Unknw/p/6422170.html