java8入门必备—函数式编程思维——函数式语言向语言和运行时让渡控制权的途径——柯里化和函数的部分施用

柯里化和函数的部分施用

柯里化(currying)和函数的部分施用(partial application)都是从数学里借用过来的编程语言技法。柯里化和部分施用都有能力操纵函数或方法的参数数目,通过向一部分参数代入一个或多个默认值的办法来实现的(这部分参数被称为“固定参数”)。

柯里化(currying)和函数的部分施用(partial application)——相同点

柯里化和部分施用的使用效果是一样的。两者都可以创建有一部分预设参数值的函数。

柯里化指的是从一个多参数函数变成一连串单参数函数的变换。它描述的是变换的过程,不涉及变换之后对函数的调用。调用者可以决定对多少个参数实施变换,余下的部分将衍生为一个参数数目较少的新函数。

部分施用指通过提前代入一部分参数值,使一个多参数函数得以省略部分参数,从而转化为一个参数数目较少的函数。部分施用就是让函数先作用于其中一些参数,经过部分的求解,结果返回一个由余下参数构成签名的函数。

柯里化和部分施用都是在我们提供部分参数值之后,产出可以凭余下参数实施调用的一个函数。

柯里化(currying)和函数的部分施用(partial application)——不同点

不同的地方在于,函数柯里化的结果是返回链条中的下一个函数,而部分施用是把参数的取值绑定到用户在操作中提供的具体值上,因而产生一个“元数”(参数的数目)较少的函数。

函数process(x, y, z)完全柯里化之后将变成process(x)(y)(z)的形式,其中process(x)process(x)(y)都是单参数的函数。如果只对第一个参数柯里化,那么process(x)的返回值将是一个单参数的函数,而这个唯一的参数又接受另一个参数的输入。而部分施用的结果直接是一个减少了元数的函数。如果在process(x, y, z)上部分施用一个参数,那么我们将得到还剩下两个参数的函数:process(y, z)

这两种技法的区分很重要而且很容易被错误地理解,可是使用中它们偏偏又经常得到相同的结果。
Groovy实现了部分施用也实现了柯里化,但是它把两者都叫作柯里化。Scala既有部分施用函数(partially applied functtion),又有名称相近的偏函数类PartialFunction,可它们是截然不同的两个概念。

Groovy版本——只有函数的部分施用

Groovy通过curry()函数实现柯里化,这个函数来自Closure类。

首先定义接受两个参数的代码块product。利用Groovy内建的curry()方法,在product的基础上构造出两个新的代码块,quadrateoctate

Groovy为调用代码块提供了特别的便利,既可以显式执行call()方法,也可以使用Groovy在语言层面提供的语法糖衣,也就是在代码块的名称后紧跟一对圆括号,参数则写在括号里(如octate(5))。

curry()虽然叫这个名字,它在背后对代码块所做的事情其实属于函数的部分施用。尽管名不副实,但用它来模拟出柯里化的效果还是可行的,做法是通过连续的部分施用使函数变形为一连串单参数的函数。

Groovy语言中部分施用与柯里化的对比:


volume代码块的作用是按照公式计算长方体的体积。接着固定长方体的第一维(即代表高度的参数h),令其取值为1,从而构造出第二个代码块area(作用是计算长方形的面积)。如果继续以volume为基础构造计算线段长度的代码块,那么无论使用部分施用还是柯里化的技法都能完成任务。lengthPA通过部分施用将前两个参数都固定为1。lengthC连续做了两次柯里化,最后算得与lengthPA相同的结果。两种写法只有微妙的区别,最终的计算结果也完全相同。很不幸,Groovy把这两个密切相关的概念混为一谈了。
函数式编程赋予另一套新的构造单元,代替以往命令式语言所使用的机制来完成相同的目标。这些构造单元之间的关系经过了细致的安排。复合(composition),是函数式语言拼组这些构造单元的一般方式。
Groovy语言中函数的复合:

定义了一个复合的代码块,由两个函数构成,或者更准确地说,是在一个函数的返回值上调用另一个函数。然后利用它来构造thirtyTwoer代码块,其中运用了部分施用的手法来组合quadrateoctate两个函数。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 205,236评论 6 478
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 87,867评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 151,715评论 0 340
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,899评论 1 278
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,895评论 5 368
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,733评论 1 283
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,085评论 3 399
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,722评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 43,025评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,696评论 2 323
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,816评论 1 333
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,447评论 4 322
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,057评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,009评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,254评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,204评论 2 352
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,561评论 2 343

推荐阅读更多精彩内容