haskell - Haskell 中参数在函数组合中的应用

Question

作为 Haskell 的新手，我不明白为什么这个表达式头 .单词“一二三四” 抛出异常，并且函数组合 head 。 Words 必须与 $ 运算符一起应用 - 它右侧的表达式不需要进一步计算，因为它只是一个 String。编译它的另一种方法是放置 head 。 Words 放在括号中，但 (head .words)::String -> String 与 head 具有相同的类型。 Words::String -> String 那么为什么将其放在括号中会使表达式编译？

Answer 1

由于优先规则。应用程序具有最高优先级； $ - 最低。

头。单词“一二三四” 被解析为 head 。 (单词“一二三四”)，即应用于字符串的单词必须产生一个函数(按照(.)的要求)。但这不是 words 所具有的类型:

Prelude> :t words
words :: String -> [String]

头。另一方面，words $“一二三四” 被解析为 (head .words)“一二三四” 并且类型适合。