转载

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

组合 Composition

组合某种类型(含函数)的两个元素,进而生成一个该类型的新元素:

letcompose = (f, g) => a => f(g(a))   lettoUpperCase = x => x.toUpperCase() letexclaim = x => x + '!' letshout = compose(exclaim, toUpperCase);   shout("hello world") // HELLO WORLD! 

偏函数应用 partial Application

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

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

柯里化 Currying

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

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

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

副作用 Side Effect

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

幂等 Idempotency

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

letid = x => x id(id(id(10))) === id(10)  // true   Math.abs(Math.abs(-1)) === Math.abs(-1) // true 

引用透明性 Referential Transparency

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

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

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

原文  http://www.moye.me/2016/07/17/fp_terms_in_javascript/
正文到此结束
Loading...