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