浅谈函数式编程柯里化的魔法

百度百科里对柯里化的定义是

在计算机科学中,柯里化(Currying)是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,并且返回接受余下的参数且返回结果的新函数的技术。这个技术由 Christopher Strachey 以逻辑学家 Haskell Curry 命名的,尽管它是 Moses Schnfinkel 和 Gottlob Frege 发明的。

简直看不懂哦,Talk is Cheap,我们拿一个简单的haskell程序说明什么叫

自动柯里化

两数相加,返回结果:

fun add x y = x + y

这是一个典型的柯里化的版本,当我输入 (add 1) 2 时与add 1 2 的返回结果一模一样,都是3

Prelude> (add 1) 2
3

但是,换个角度上讲,我明明设置了两个“变量”,在haskell里却把它们的结果又封装成了一个函数,这就是haskell的强大特性:自动柯里化,haskell全部帮你自动处理了。

简单来说,柯里化指的是函数里只接收一个余下的参数,再调用原函数,返回出相应的结果。

而同样的,没有柯里化的普通版本却是这样的:

fun add(x, y) = x + y

这个版本里,只能通过add(1,2)进行相加操作。

柯里化实际上是将高阶函数进行降阶处理,没理解?接着看~

JavaScript的柯里化

JavaScript存在闭包的特性,能够很好的为我们将函数柯里化,但是很可惜JavaScript不支持自动柯里化,这意味着,我们要自己写柯里化的过程,不过还好,这能有效的让我们理解,到底什么是柯里化。

同样的,还是那个add的简单函数,用JavaScript实现如下:

function add(x, y){
    if(y===undefined){
        return (z) => x + z;
    }else{
        return x+y;
    }
}

测试一下!通过执行add(1)(2),果然返回了3,是的,这是一个手动构造柯里化函数的过程。对于大多数函数,我们有通用的柯里化方法:

function curry(func) {
  var fixedArgs = [].slice.call(arguments,1);
  return function() {
    args = fixedArgs.concat([].slice.call(arguments))
    return func.apply(null, args);
  };
}

也就是说,对于add函数来说,我们用一个函数生成了另一个范围更小的函数,一层接一层的解决问题。这符合函数式编程的思想,就是我们更关注函数函数之间的关系,而非状态本身,更在乎局部而非整体。

这个例子体现不出这种思想的精妙之处,那么我们再举一个例子🌰

如果,我们想让一个已知的数组每个值都做加1操作,传统的方法该怎么做?

let ar = [1,2,3];
ar.map((x)=> x+1);

对吧?那么我们下面可以用柯里化的思想把这个问题实现:

const add = ar => ar.map(x => x + 1);
add([1, 2, 3]);

首先我们在add里定义了一个函数,并且传入参数为arar进行Array.prototype.map()操作,对每一个数进行遍历,并且返回这个数字+1后的值给ar,这看起来挺玄乎的,但确实可行,我们只关心局部,请试图把add当做数学里中的函数去思考理解,或许会好懂的多。可是这只是方便了我们理解,那么到底有什么好处呢?

再举一个例子🌰

如果我们想写一个函数,用来对已知数组的已知量进行相加n的操作,怎么写?传统方法

let ar= [1,2,3];
function addToArray(ar,n){
  return ar.map((x)=> x+n)
};
console.log(addToArray(ar,1));

但是,我们可以这样写:

const add = a => b => a+b;
const addToArray = (ar,n) => ar.map(add(n));
addToArray([2,3],1)

结果都一样,其实过程是不一样的,你可能真的憋不住了,到底有什么用呢?

柯里化的好处

就像上面的例子一样,你能看出不同吗?对,第一个的实质是新写了一个函数,对数组进行map操作,而第二个则是在直接在map里进行add操作,这很通用,一旦你写了很多类似于add的函数,就会方便起来,可以让我们方便的在map,reduce,filter里调用。

  • 能够进行延迟计算,就像add(1)(2)一样,1比2先传入,2就会被延迟计算,在特定的场景里,有一定的应用意义。
  • 当你发现你要调用一个函数,并且调用参数都是一样的情况下,这个参数就可以被柯里化,以便更好的完成任务。
  • 优雅的写法,允许你写出来的代码更干净、更有表达力。

虽然柯里化在日常应用不多,但仍然是一个不可不了解的好概念。

相关阅读

JavaScript柯里化

Currying and ES6 Arrow Functions

浅析 JavaScript 中的 函数 currying 柯里化

Currying - Part 6 of Functional Programming in JavaScript(需梯子)

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

推荐阅读更多精彩内容