为什么 Prelude 的文字功能写的不简单？

Question

考虑words Prelude 函数；这真的很容易，可以用以下方式编写：

words' :: String -> [String]
words' [] = []
words' str = before : words' (dropWhile isSpace after) where
    (before, after) = break isSpace str

但是，我注意到它原来的 Prelude 代码似乎少了很多……自然：

words                   :: String -> [String]
words s                 =  case dropWhile {-partain:Char.-}isSpace s of
                                "" -> []
                                s' -> w : words s''
                                      where (w, s'') =
                                             break {-partain:Char.-}isSpace s'

我认为这有与优化相关的原因。问题是：我期望编译器应该像其 Prelude 版本一样优化 words' 函数是错误的吗？我确实使用了相同的功能（break、dropWhile、isSpace）。

我曾经对 GHC 没有执行一些最简单的低级优化感到非常惊讶：

C vs Haskell Collatz conjecture speed comparison

除了{-partain:Char.-} 位（编译器的这个提示在这种情况下IMO 似乎没有多大帮助）之外，words 代码对于高级语言来说似乎是不必要的臃肿。在这种情况下，背后的原因是什么？

Answer 1

这几乎是完全相同的代码。唯一的区别是我们是在每次调用之前执行dropWhile isSpace 还是仅在递归调用之前执行。两者都不比另一个更复杂，但后者（Prelude）版本似乎更冗长，因为模式匹配并不直接在函数中。

您可以像这样观察差异（以及为什么 Prelude 版本具有更好的行为）：

*Main> words "    "
[]
*Main> words' "     "
[""]

请注意，您可以使用QuickCheck 快速验证您的“改进”版本是否与原始版本相同。