美文网首页iOS Developer
用Swift煮一盘咖哩

用Swift煮一盘咖哩

作者: Noah1985 | 来源:发表于2017-01-31 11:00 被阅读110次

当然,这里说的咖哩非彼咖哩,而是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)

相关文章

  • 用Swift煮一盘咖哩

    当然,这里说的咖哩非彼咖哩,而是currying,译名柯里化,下面有一个简介。 在计算机科学中,柯里化(Curry...

  • 20170411-用咖哩饭带便当真是方便

    没什么办法把咖哩拍的美一点它就是这样脏兮兮挤在便当盒里但无损它的美味不是我吹牛:我煮的咖哩真的很好吃呀!!! 先把...

  • 泰国菜单中英文对照表

    【泰文餐单,方便点菜时用】 ปูผัดผงกะหรี่ (Curried crab)) 咖哩蟹 ปูไข่เผา ...

  • 04-16一盘青菜

    早上一盘青菜,晚上一盘青菜,都是我最爱吃的菜品,可惜被煮坏了。 一盘青菜还有什么煮好煮坏之分,还真有。 同样是青菜...

  • 开始用Swift开发iOS 10 - 15 使用地图

    继续上一盘开始用Swift开发iOS 10 - 14 基础动画,模糊效果和Unwind Segue,这一篇使用地图...

  • 咖哩雞

    鸡腿 6只 洋葱 2颗 土豆 2颗 红萝卜 1条 牛油。 1.5茶匙 咖哩块 100克(1小盒) 咖哩粉 少许 月...

  • 異鄉人咖哩

    今天來吃全台中最好吃的咖哩異鄉人~ 其實自從戴牙套後就不怎麼敢吃咖哩了,因為很多咖哩吃了都會染牙齒,牙套就會黃黃的...

  • 咖喱和牛肉,如何融合,堪称完美美食?必须这样做

    咖喱来源于印度,是“许多的香料加在一起煮”的意思,味道强烈浓郁; 由于咖哩的辛辣与香味可以帮助遮掩羊肉的腥骚,此举...

  • Day 37

    6月30日 周五 早饭:油条+米粥午饭:牛肉沙拉晚饭:一盘韭菜肉水饺、2瓶啤酒、一盘煮花生、一盘酸辣土豆丝 中午锻...

  • [译]用 LLDB 调试 Swift 代码

    [译]用 LLDB 调试 Swift 代码 [译]用 LLDB 调试 Swift 代码

网友评论

    本文标题:用Swift煮一盘咖哩

    本文链接:https://www.haomeiwen.com/subject/cyyhittx.html