上一篇关于Currying的介绍,我们提到F#是如何做Currying变换的:

let addWithThreeParameters x y z = x + y + z
let intermediateFn1 = addWithThreeParameters 1

给定一个接受三个参数的函数addWithThreeParameters,我们通过

let intermediateFn1 = addWithThreeParameters 1

这样的方式创建出了一个新的函数intermediateFn1,其函数签名为:

int -> int -> int

上面是F#用来描述函数签名的方式,它表示函数接受两个int类型的参数,返回类型为int类型。

类似地:

(int -> int) -> int

表示参数为(int -> int)类型的函数,返回类型为int;而(int -> int)又是一个函数,表示接受一个int类型的参数,返回类型仍然为int。

对于F#而言,函数本身需要接受三个参数,但是我们调用的时候只给一个参数,从而创建出接受两个参数的新函数,这种方式被称作是Partial application。也就是说我们通过Partial application的方式完成了Currying。

Partial application是常用的函数式编程风格,对于初学者而言也很重要。我们在Currying一节介绍过Curring的目的是为了生成一个只接受一个参数的新函数,从而可以将两个函数粘结在一起。



那么Partial application就是F#完成Curring的一种手段。

还记得C#版本的Currying吗?我们是通纯手工方式创建了新的Currying函数。

public Func<int, int> AddWithTwoParameters(int x)
{
Func<int, int> subFunction = y => x + y; return subFunction;
}

在C#里面函数式没法通过只传递一个参数的方式来生成一个新的函数,在C#中声明一个三个参数的函数,调用的时候只传入一个参数会编译出错,这是众所周知的。

当然,非要用C#演示Partial application,我们可以用一种不自然的方式来做到:

public static Func<T2, T3, TR> Apply<T1, T2, T3, TR>
(Func<T1, T2, T3, TR> function, T1 arg1)
{
return (arg2, arg3) => function(arg1, arg2, arg3);
} //调用
Func<int, int, int> add = (a, b) => a + b;
var add5 = Apply(add, 5);
var add51 = add5(1);

F#是这样做的:

let add5 = (+) 5    // partial application
let add51= add5 1

如果说Partial application还可以用C#来勉强实现,后面描述的函数式特性几乎不会出现在OO风格的代码里,所以后面的章节大都会以F#来演示。

Partial application之所以在函数式编程中占有很重要的地位,他不仅仅能够完成Curring变换,还可以将函数变成一个可重用的组件,考虑下面的代码:

[1;2;3] |> List.map add51

我们将add51这个新函数应用到了[1;2;3]这个list中的每个元素中。

下面的这个例子更复杂一些,用来演示通过Partial application来完成OO范式中的Dependency Injection功能。

  • 创建一个函数(add)用来把两个数字加起来 ,除此之外,还要将运算过程记录成log
  • Logging函数是一个接受两个参数的函数,分别为string和一个泛类型`a,返回类型为unit,所以logging函数的签名为string->'a->unit
  • Logging函数有多种不同类型的实现,例如console logger,file logger

    你可以认为logging函数是拥有一个契约(string->'a->unit)的接口,对应的实现可以有多个
  • 如何把具体的logger 注入到add函数中?
//创建一个调用add函数,并且可以注入logger实现的函数
let addWithPluggableLogger logger x y =
let result = x + y
logger "x+y" result
result // 创建一个consoleLogger
let consoleLogger argName argValue =
printfn "%s=%A" argName argValue //把addWithConsoleLogger做partial应用,把consoleLogger应用在上面,同时创建出一个具有添加log能力
//的add函数,他的函数签名为`int -> int -> int`,跟普通的add函数式一致的,
//但是此刻他拥有了添加log的能力:
let addWithConsoleLogger = addWithPluggableLogger consoleLogger
addWithConsoleLogger 1 2
addWithConsoleLogger 42 99

也许你已经看出来函数参数的顺序决定能否Partial application, 因为在做Partial应用的时候总是按照参数从左到右的顺序执行的,你无法把一个参数应用在函数的最后一个位置。

下节将会描述如何设计函数让其能够支持Partial application,以及F#中的管道符|>的用法。想学习函数式编程的同学可以持续关注。

函数式编程之-Partial application的更多相关文章

  1. 函数式编程之-定义能够支持Partial application的函数

    是时候介绍如何在F#中定义函数了,在你没有接触过函数式编程语言之前,你也许会觉得C#/Java的语法已经够丰富了,有什么任务做不了呢?当你读过函数式编程之Currying和函数式编程之Partial ...

  2. JavaScript 与函数式编程

    原文:https://bethallchurch.github.io/JavaScript-and-Functional-Programming/ 译文:http://www.zcfy.cc/arti ...

  3. js函数式编程

    最近在看朴灵的<深入浅出nodejs>其中讲到函数式编程.理解记录下 高阶函数 比较常见,即将函数作为参数,或是将函数作为返回值得函数. 如ECMAScript5中提供的一些数组方法 fo ...

  4. Python基础:函数式编程

    一.概述 Python是一门多范式的编程语言,它同时支持过程式.面向对象和函数式的编程范式.因此,在Python中提供了很多符合 函数式编程 风格的特性和工具. 以下是对 Python中的函数式编程 ...

  5. 简明python教程 --C++程序员的视角(九):函数式编程、特殊类方法、测试及其他

    函数式编程 Lambda exec,eval和assert语句,repr函数   lambda语句 用来创建简短的单行匿名函数 print_assign = lambda name, value: n ...

  6. Scala:函数式编程之下划线underscore

    http://blog.csdn.net/pipisorry/article/details/52913548 python参考[python函数式编程:apply, map, lambda和偏函数] ...

  7. js函数式编程术语总结 - 持续更新

    参考文档1 参考文档2 函数式编程术语 高阶函数 Higher-Order Functions 以函数为参数的函数 返回一个函数的函数 函数的元 Arity 比如,一个带有两个参数的函数被称为二元函数 ...

  8. javascript里的偏函数——本质函数式编程+闭包,返回函数

    最终效果: var greet = function(greeting, name) { return greeting + ' ' + name; }; var sayHelloTo = _.par ...

  9. 2015/9/18 Python基础(14):函数式编程

    这篇写了忘发.现在补上. Python不是也不大可能成为一种函数式的编程语言,但是它支持许多有价值的函数式编程语言构建.也有些表现的像函数式编程机制但是从传统上也不能认为是函数式编程语言的构建.Pyt ...

随机推荐

  1. Nginx服务器中配置非80端口的端口转发方法详解

    这篇文章主要介绍了Nginx服务器中配置非80端口的端口转发方法详解,文中使用到了Nginx中的proxy_pass配置项,需要的朋友可以参考下 nginx可以很方便的配置成反向代理服务器: 1 2 ...

  2. CentOS7配置阿里云源

    cd /etc/yum.repos.d/ mkdir backup mv CentOS-* backup/ wget -O /etc/yum.repos.d/CentOS-Base.repo http ...

  3. Notes : <Hands-on ML with Sklearn & TF> Chapter 3

    Chapter 3-Classification .caret, .dropup > .btn > .caret { border-top-color: #000 !important; ...

  4. MySQL数据库(五)使用pymysql对数据库进行增删改查

    折腾好半天的数据库连接,由于之前未安装 pip ,而且自己用的python 版本为3.6. 只能用 pymysql 来连接数据库,(如果有和我一样未安装 pip 的朋友请 点这里http://blog ...

  5. springboot的拦截器Interceptor的性质

    Interceptor在springboot2.x版本的快速入门 实现HandlerInterceptor的接口,并重载它的三个方法:preHandle.postHandle.afterComplet ...

  6. Shader_ShaderForge_NGUI_流光&波纹&消融

    Shader篇 总结:总算解决了NGUI中Shader不能实时更改的问题,原来NGUI中的Texture组件提供了OnRender代码示例如下 /*************************** ...

  7. 使用MXNet的NDArray来处理数据

    NDArray.ipynb NDArray介绍 机器学习处理的对象是数据,数据一般是由外部传感器(sensors)采集,经过数字化后存储在计算机中,可能是文本.声音,图片.视频等不同形式. 这些数字化 ...

  8. Java 多线程之自旋锁

    一.什么是自旋锁? 自旋锁(spinlock):是指当一个线程在获取锁的时候,如果锁已经被其它线程获取,那么该线程将循环等待,然后不断的判断锁是否能够被成功获取,直到获取到锁才会退出循环. 获取锁的线 ...

  9. Java 利用 UUID 生成唯一性 ID 示例代码

    用户ID首先生成,订单ID的生成可依赖用户ID. 下面代码前六位是日期,后八位是随机数,用于生成用户ID. public String getNewUserId() { String ipAddres ...

  10. Kali学习笔记16:Nmap详细讲解

    在前面十五篇博客中,几乎每一篇都有介绍Nmap,这里系统地介绍下每个参数: 注意:区分每个参数的大小写 -iL:列好的IP放在一个文本里面,可以直接扫描这个文本 用法:namp -iL <文本名 ...