Haskell $ 运算符：为什么这不起作用？

Question

在Haskell Programming from First Principles一书中有一个练习告诉我们编写一个函数，该函数接受一个带有空格的字符串，用空格分割它，然后加载非空格块到字符串列表中。我的第一次尝试是：

splitString :: String -> [String]
splitString str
  | str == "" = []
  | otherwise = takeWhile (/=' ') str : splitString $ drop 1 $ dropWhile (/=' ') str

现在这不能编译。如果我将第一个 ($)（紧跟在 splitString 之后）替换为相应的括号对，如下所示：

takeWhile (/=' ') str : splitString (drop 1 $ dropWhile (/=' ') str)

然后就可以了。不过，根据我迄今为止对 ($) 的了解，两者不应该是等价的吗？ ($) 是正确关联的，所以在我看来应该发生的事情是

1. dropWhile (/=' ') str 先评估
2. drop 1 (dropWhile (/=' ') str) 是下一个
3. 然后将结果传递给splitString。

相反，我收到来自ghc 的错误，上面写着

Couldn't match expected type ‘[Char] -> [String]’
            with actual type ‘[[Char]]’
The first argument of ($) takes one argument,
but its type ‘[[Char]]’ has none

我可以通过“($) 的第一个参数”看到它在谈论 splitString，但我对声明的内容感到困惑

but its type `[[Char]]` has none

应该是这个意思。

Answer 1

如果您按如下所示添加括号，您的代码将起作用：

...
  | otherwise = takeWhile (/=' ') str : ( splitString $ drop 1 $ dropWhile (/=' ') str )
--                                     ^^^                                            ^^^                                                                                        

否则 Haskell 将 else 子句解释为：

( takeWhile (/=' ') str : splitString )
    $ drop 1
    $ dropWhile (/= ' ') str

更新

您在 cmets 中提到的版本：

     takeWhile (/= ' ') str : splitString ( ... )
--   \__ a __/ \_ b _/   c  : \___ d ___/ \_ e _/

具有 a b c : d e 的形式，Haskell 始终将其解释为 (a b c) : (d e)，因为 : 是唯一出现在表达式中的中缀运算符。

当你有类似的东西时：

    a b c : d e $ f $ g

您必须考虑: 和$ 中缀运算符的相对优先级。因为$ 是defined as infixr 0，所以它不是 像: 一样紧密绑定，你会得到以下右关联分组：

    (a b c : d e) $ (f $ g)