haskell - 在 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 ？
是因为 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

(但是像这样串接 $ 被认为是糟糕的风格)

请注意，这与懒惰无关。