函式柯里化

2021-10-05 23:20:58 字數 1125 閱讀 2743

柯里化:是把接受多個引數的函式變換成接受乙個單一引數(最初函式的第乙個引數)的函式,並且返回接受餘下的引數而且返回結果的新函式的技術。

即:有多個引數列表,或者說多個小括號括起來的函式引數列表的函式就是柯里化函式。

等價於下面的表示式

fn(x, y) -> fn(x)(y)
curry化最大的意義在於把多個引數的函式等價轉化成多個單引數函式的級聯,這樣所有的函式就都統一了,方便做lambda演算。 在scala裡,curry化對型別推演也有幫助,scala的型別推演是區域性的,在同乙個引數列表中後面的引數不能借助前面的引數型別進行推演,curry化以後,放在兩個引數列表裡,後面乙個引數列表裡的引數可以借助前面乙個引數列表裡的引數型別進行推演。

上面的說法比較書面化,用更加口語化的一點來描述:

把多個引數轉化為單引數函式的級聯,達到了動態確定引數的目的。

當某些引數不確定時,可以先保留乙個存根。剩餘的引數確定以後,就可以通過存根呼叫剩下的引數。

通過類似於建造者模式(building),把乙個大的東西的構造過程,切成乙個個的小模組來逐步構造。舉個最簡單的例子,person.name("***").age(num).salary(count).phone(***x)

def add(x, y):

"""普通函式"""

return x + y

result_1 = add(1, 2)

print('result_1 : ' + str(result_1))

def add_currying(x):

"""普通函式柯里化"""

def _add(y):

return x + y

return _add

result_2 = add_currying(3)(4)

print('result_2 : ' + str(result_2))

object test 

def normalfunction(s1:string, s2:string) =

def curringfunction(s1:string)(s2:string) =

}

函式柯里化

在電腦科學中,柯里化 currying 是把接受多個引數的函式變換成接受乙個單一引數 最初函式的第乙個引數 的函式,並且返回接受餘下的引數且返回結果的新函式的技術。在直覺上,柯里化聲稱 如果你固定某些引數,你將得到接受餘下引數的乙個函式 柯里化實現的原理 在函式式程式語言中,將函式可以當做物件傳遞呼...

函式柯里化

curry 的概念 只傳遞給函式一部分引數來呼叫它,讓它返回乙個函式去處理剩下的引數先看乙個簡單例子,add函式接受 2 個引數 或者多個 addx函式接受 1 個引數。換而言之,所謂 柯里化 就是把乙個多引數的函式,轉化為單引數函式。將乙個函式轉換為乙個新的函式 非柯里化 function add...

函式柯里化

curry 的概念 只傳遞給函式一部分引數來呼叫它,讓它返回乙個函式去處理剩下的引數先看乙個簡單例子,add函式接受 2 個引數 或者多個 addx函式接受 1 個引數。換而言之,所謂 柯里化 就是把乙個多引數的函式,轉化為單引數函式。將乙個函式轉換為乙個新的函式 非柯里化 function add...