函數類型簽名中的右關聯

Question

我很難理解Haskell中類型簽名背後的推理。

1）as ->被認爲是正確的聯想，這是否意味着它可以以類似的方式被理解爲，例如4 ^（2 ^（3^2））？使用簡單函數的類型簽名，以表達我的疑惑（來解釋我的理解是

2），我會用a，b，「S或Int」的c代替Num a => a S）：

myAdd :: a -> b -> c 
myAdd x y = x+y 

這意味着函數採用參數a並返回函數，它b最後返回c

但也有可能被重新寫爲：

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

由於大部分學習材料的規定，c在我們的例子是功能myAdd的結果，爲什麼要按使用括號表示，首先「操作」是b->c？我如何從該類型簽名推斷執行操作的順序？

3）我得到了一個任務

map f xs 

使用foldr，(.)和(:)這導致實現：

map f xs = foldr ((:) . f) [] xs 

我沒有問題的理解上述功能的工作原理，但在這裏我們再來 - 輸入簽名。如果我們假設，這些名稱是統一的，所以類型a在所有合同中表示相同類型，看來，c和d可以用a和b表示。在數學中，類似的任務可能非常簡單，但我如何在Haskell中實現呢？

map :: (a -> b) -> [a] -> [b] 
foldr :: (a -> c -> c) -> c -> [a] -> c 
(:) :: b -> ([b] -> [b]) 
(.) :: (b -> d) -> (a -> b) -> a -> d 

Answer 1

用你的符號，在

myAdd :: a -> b -> c 
myAdd x y = x+y 

你正確地解釋類型a -> (b->c)但你去上建議，在b -> c計算以某種方式首先完成。

當像myAdd 2 10這樣的東西被評估，功能評估是從左到右。

1）首先評估myAdd 2。該評估的結果是將給定號碼y發送到2 + y的功能。實際上，的myAdd定義相同

myAdd x = \y -> x+y 

2）然後，將該最後一個函數被施加到參數10得到2 + 10 = 12

因此，->的右結合在型表達不對應於功能評估中從右到左排序的計算。事實上，功能評估是左聯的：myAdd 2 10與(myAdd 2) 10相同。