如何理解咖喱的函數定義/ uncurry

Question

約從http://www.seas.upenn.edu/~cis194/lectures/02-lists.html咖喱/ uncurry（schönfinkel/unschönfinkel）的定義，

schönfinkel :: ((a,b) -> c) -> a -> b -> c 
schönfinkel f x y = f (x,y) 

unschönfinkel :: (a -> b -> c) -> (a,b) -> c 
unschönfinkel f (x,y) = f x y 

但我覺得上面這些函數的定義應該是：

schönfinkel :: ((a,b) -> c) -> a -> b -> c 
schönfinkel f (x,y) = f x y 
-- schönfinkel(curry) converts an uncurried function 
-- (f (x,y), its type signature is (a,b) -> c) 
-- to a curried function 
-- (f x y, its type signature is a -> b -> c) 

unschönfinkel :: (a -> b -> c) -> (a,b) -> c 
unschönfinkel f x y = f (x,y) 
-- unschönfinkel(uncurry) converts a curried function 
-- (f x y , its type signature is a -> b -> c) 
-- to an uncurried function 
-- (f (x,y), its type signature is (a,b) -> c) 

請有人給我一個簡單的解釋？

Answer 1

你可能誤解/誤解的初始代碼，一個適當的縮進大概是足以得到它的權利：

schönfinkel :: ((a,b) -> c) -> a -> b -> c 
schönfinkel f    x y = f (x,y) 

unschönfinkel :: (a -> b -> c) -> (a,b) -> c 
unschönfinkel f    (x,y) = f x y 

現在，讓我們打開ghci中和嘗試了幾件事：

>>> let schönfinkel f x y = f (x,y) 

>>> let toBeCurried (x,y) = x ++ y 
>>> :t toBeCurried 
toBeCurried :: ([a], [a]) -> [a] 

>>> :t schönfinkel toBeCurried 
schönfinkel toBeCurried :: [a] -> [a] -> [a] 

看看你給的非正式定義，你會看到它匹配e行爲schönfinkel。

Answer 2

這裏是由Dierk &鈷

的基本思想是利用一個函數具有多個參數 和通過固定它的一些轉換成具有較少參數的函數的一小塊的約在Groovy在行動咖喱解釋價值。一個典型的例子是選擇一些任意值n並將一個將兩個參數相加的函數轉換爲一個函數，該函數只接受一個參數並將n加入到函數中。

Groovy中有一個內置的閉合的方法稱爲咖喱這需要任意值綁定到閉包的參數和約束值的各個參數後返回封閉的克隆。請參考下面的鏈接，詳細瞭解

Groovy functional programming