Haskell Currying

Question

在過去的兩個小時裏，我一直在閱讀有關Haskell中的currying和所有資源，介紹具有多個參數的函數實際上如何返回其他函數，但不知道它們的定義是如何形成的，所以這就是問題所在。

讓我們定義函數：

myFunc :: (Num a) => a -> a -> a 
myFunc x y = x * 2 + x * y 

:t (myFunc 2)打印Num a => a -> a，即採用一個數量，並且還輸出一個數的函數。但是，(myFunc 2)返回的函數的定義是什麼樣的？定義中的編譯器是否替換爲x，而新功能是否變成myFunc' y = 2 * 2 + 2 * y？

遞歸處理currying如何？如果我定義函數

replicate' :: (Integral i, Ord i) => i -> a -> [a] 
replicate' n x 
    | n <= 0 = [] 
    | otherwise = x : replicate' (n - 1) x 

，由(replicate' 3)在上下文(replicate 3) 'a'返回什麼功能？

Answer 1

這是在明確咖喱形式定義replicate'：

replicate' :: (Integral i, Ord i) => i -> (a -> [a]) 
replicate' n 
    | n <= 0  = const [] 
    | otherwise = \x -> x : replicate' (n - 1) x 

那麼，replicate' 3計算表達式

if 3 <= 0 then const [] 
       else \x -> x : replicate' 2 x 

這只是

\x -> x : replicate' 2 x 

如果它僅與定義「隱式柯里弗」，則編譯器可能會或可能不會拔出n <= 0條件出x綁定的，所以實際上你可能僅僅與

\x -> if 3 <= 0 then const [] 
        else \x -> x : replicate' 2 x 

Answer 2

我想你混淆了兩個不同的東西

• 討好
• 部分功能應用

第一個是

     ------currying-----> 
     f :: (a,b) -> c      f' :: a -> b -> c 
         <----uncurrying----- 

轉化的功能，需要一個參數whi的元組 ch表示兩個事物相結合的一個參數 - 一個函數接受一個參數併產生一個函數！

如果您熟悉線性代數，那麼將雙線性函數看作是產生另一個線性函數的線性函數非常相似。

而部分功能應用程序只是明確親代化的結果。

f :: a -> b -> c 

真的

f :: a -> (b -> c) 

至少在定義函數的哈斯克爾方式。