zoukankan      html  css  js  c++  java
  • 函数式编程之-组合函数

    组合

    函数式编程的核心在于组合,其中之一就是如何组合函数。我们在Currying一文就提到过组合,我们当时是这样描述的:只有一个输入和一个输出的函数才能完成组合,当然并不是所有的函数都只有一个输入,Currying可以帮助我们把多个输入参数的函数变成只有一个输入的函数。
    那么到底什么是组合,怎么组合?
    给定下面的两个函数:

    组合上面的两个函数:

    变成下面的函数:

    看个例子:

    let add1 x = x + 1 
    let multiply2 x = x * 2
    let compose g f x = f(g(x))
    

    对应的函数类型为:

    add1 : x:int -> int
    multiply2 : x:int -> int
    compose : g:('a -> 'b) -> f:('b -> 'c) -> x:'a -> 'c
    

    通过compose函数来把add1和multiptly2组合起来:

    let add1ThenMultiply2 x = compose add1 multiply2
    
    从而得到新的函数: ```fsharp let result = add1ThenMultiply2 10 ``` 既然compose这个函数在F#这么常用,不如定义一个操作符`>>`来表示: ``` fsharp let (>>) f g x = g ( f(x) ) ``` 因此上面的代码也可以通过>>来组合: ```fsharp let add1ThenMultiply2 x = (>>) add1 multiply2 ``` 由于操作符支持中缀表达式,也即操作符可以写在两个参数的中间,例如+号: ```fsharp (+) 1 3 ``` 实际上可以写为: ```fsharp 1 + 3 ``` 那么上面的代码就可以写成: ```fsharp let add1ThenMultiply2 x = add1 >> multiply2 ``` ## 组合和管道符的区别 上面的例子我们还可以用管道符来实现: ``` fsharp let result1 = 10 |> add1 |> multiply2 ``` 管道符和组合的定义看起来非常相似: ```fsharp let (|>) x f = f x let (>>) f g x = g ( f(x) ) ``` 管道符(|>)接受两个参数,在往下一个管道符传递的时候已经完成了求值,而函数组合实际上生成了新的函数,最后一步传入实际的参数才会完成求值。 下面的图示描述了管道符的求值过程:
  • 相关阅读:
    原来四五年没有写过什么东西了
    Spark难道比oracle性能还差?百万级数据测试性能
    程序人常去的网站(转)
    Android中关于dip和px以及转换的总结
    padding与margin的区别
    Python装饰器探究——装饰器参数
    Python 装饰器执行顺序迷思
    Python CSV模块简介
    理解线程3 c语言示例线程基本操作
    Python 外部函数调用库ctypes简介
  • 原文地址:https://www.cnblogs.com/xiandnc/p/9326823.html
Copyright © 2011-2022 走看看