在Haskell中，爲什麼我必須在這段代碼中使用美元符號？

Question

我還在努力破解這個代碼：

import Data.Char 
groupsOf _ [] = [] 
groupsOf n xs = 
    take n xs : groupsOf n (tail xs) 

problem_8 x = maximum . map product . groupsOf 5 $ x 
main = do t <- readFile "p8.log" 
     let digits = map digitToInt $concat $ lines t 
     print $ problem_8 digits 

在problem_8 x = maximum . map product . groupsOf 5 $ x 爲什麼不能把它僅僅是groupsOf 5×？ 是因爲x後來會擴展到其他一些表達式（這裏是：digits = map digitToInt $concat $ lines t）？這就是所謂的懶惰（x現在不會擴大，但也許以後）？

Answer 1

沒有$，優先級作品出這樣的：

maximum . map product . (groupsOf 5 x) 

.由於（功能組合物）採用兩個函數作爲參數，並groupsOf 5 x不能返回的函數，這是一個錯誤。

隨着$，優先級作品出這樣的：

(maximum . map product . groupsOf 5) x 

這相當於（通過功能的組合物）到：

maximum (map product (groupsOf 5 x)) 

或：

maximum $ map product $ groupsOf 5 x 

（但是沿着$這樣被認爲是不好的風格）

這與懶惰無關，請注意。

Answer 2

正如bdonlan所說，$是function application和.是functional composition。

使用hoogle來搞清楚某些關鍵字正在做什麼。它也可能有助於顯示函數簽名和模塊名稱。

Answer 3

你不有使用$，事實上，你永遠必須使用它。

在你的情況下，毫無意義的^ H^H^H^Hsfree符號暗示自己：與其

problem_8 x = maximum . map product . groupsOf 5 $ x 

這相當於：

problem_8 x = (maximum . map product . groupsOf 5) x 

我們可以離開了x上方程兩邊：

problem_8 = maximum . map product . groupsOf 5