用Swift煮一盘咖哩

当然,这里说的咖哩非彼咖哩,而是currying,译名柯里化,下面有一个简介。

在计算机科学中,柯里化(Currying)是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,并且返回接受余下的参数且返回结果的新函数的技术。这个技术由 Christopher Strachey 以逻辑学家 Haskell Curry 命名的,尽管它是 Moses Schnfinkel 和 Gottlob Frege 发明的。
在直觉上,柯里化声称“如果你固定某些参数,你将得到接受余下参数的一个函数”。所以对于有两个变量的函数yx,如果固定了 y = 2,则得到有一个变量的函数 2x。
在理论计算机科学中,柯里化提供了在简单的理论模型中比如只接受一个单一参数的lambda 演算中研究带有多个参数的函数的方式

在Swift 3.0以前有一个咖哩语法,写法如下

func curry(_ a: Int)(_ b: Int) -> Int {
    return a + b
}

let add100 = curry(100)
print(add100(10))
print(curry(100)(10))

curry 并不是一个接受两个参数的函数,它是一个接受一个参数并返回一个接受一个参数并返回结果的函数。说得有点绕口了。这种语法在3.0后被移除了。毕竟也比较少用。

虽然语法在3.0里被移除了,但我们可以人为的实现一个,而且更好更强大的咖哩。实现如下

func curry<T, U, O>(_ f:@escaping (T, U) -> O) -> (T) -> (U) -> O {
    return { a in return { b in return f(a, b) } }
}

func add(a: Int, b: Int) -> Int {
    return a + b
}

let add100 = curry(add)(100)
print(add100(10))

curry 函数接收另一个函数并将其煮成一盘咖哩。
写到这里我想到了一个段子

有一天老板要求你写一个整型加10的函数,然后你写了一个
func add10(a: Int) -> Int { return a + 10 }
第二天老板要你改成加10吧,你只好改为
func add20(a: Int) -> Int { return a + 20 }
第三天老板又来找你了,这次他不确定要加多少,你就写一个能加任何数字的函数吧

当然聪明的你大概从一开始就考虑写一个接受两个整型的函数吧,这样就不会有这个段子了。但如果老板说每个函数只能接受一个参数呢?

实际上curry这个函数不只是单纯的实现两个整形的加法,它还有更多的用途,例如下面

func curry<T, U, O>(_ f:@escaping (T, U) -> O) -> (T) -> (U) -> O {
    return { a in return { b in return f(a, b) } }
}

let users = [["id":1, "name":"Noah"], ["id":2, "name":"Kell"]]

let get = curry{ (key:String, dict:[String:Any]) in return
    dict[key]
}

let names = users.flatMap(get("name"))

curry函数是泛型的,它可以将任何接收两个参数的函数煮成咖哩。上面一个比较简单的例子可以看得出来。

看到这里自然会问它有什么用,用在什么场景下了。实际上它的装饰用途大于实际用途,例如你在使用函数式思想进行编程的时候更多的是使用陈述语句“ declarative”而不是常规编程的指令式“imperative”语句。

下面用上面的例子再提供两个脚本语言的写法,Python和Javascript es6的。从简洁上来看JS es6是完胜的,而且更好理解。

let curry = f => a => b => f(a, b);

let users = [{id: 1, name: 'Noah'}, {id: 2, name: 'Kell'}];

get = curry((property, object) => object[property]);

names = users.map(get('name'));

def curry(f):
    return lambda a: lambda b: f(a, b)


users = [{'id': 1, 'name': 'Noah'}, {'id': 2, 'name': 'Kell'}]

get = curry(lambda k, d: d[k])

names = map(get("name"), users)

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

推荐阅读更多精彩内容