组合某种类型(含函数)的两个元素,进而生成一个该类型的新元素:
letcompose = (f, g) => a => f(g(a)) lettoUpperCase = x => x.toUpperCase() letexclaim = x => x + '!' letshout = compose(exclaim, toUpperCase); shout("hello world") // HELLO WORLD!
一个多参函数,如果我们只提供了部分参数,这种应用就是偏函数应用:
letsum3 = (a, b, c) => a + b + c letpartial = sum3.bind(null, 10, 20) partial(30) // 60
把多参数函数处理成 接受一个参数,返回一个接受下一个参数的函数 的形式:
letcurryingSum3 = (a) => (b) => (c) => a + b + c letcurriedSum3 = curryingSum3(30)(20) // [Function] curriedSum3(10) // 60
注意:柯里化和偏函数应用是不同的,它只接受单参输入;在Haskell这样的纯函数式语言中,只存在柯里化,多参函数是一种语法糖,这样做的好处是为函数组合提供了更灵活的手段, 并且使得接口更为流畅。
一个函数或表达式如果出现下面情况被认为有副作用:除了返回结果值,还修改了内部状态,或者能被外界植入改变状态的可能,提供了改变内部状态的可能。有副作用的例子:随机数生成器 或者 IO操作 。
能够多次使用同样的输入参数无副作用地执行多次:
letid = x => x id(id(id(10))) === id(10) // true Math.abs(Math.abs(-1)) === Math.abs(-1) // true
一个表达式能够被它的值替换,而不会影响计算结果,这种表达式称为引用透明的。
letgreeting = () => 'hello, ' greeting() + 'buddy'
上面的表达式中每次对 greeting()
的调用,都可以被替换为 'hello, '
,我们可以断言 greeting()
具有引用透明性。