函数类型匹配错误求助：用累加器实现字符串分割函数遇问题

首先，咱们来拆解你代码里的核心问题，编译器提示的类型不匹配，本质是运算符优先级和累加器使用方式出错了，我一步步给你理清楚：

错误原因分析 #

你的原代码里这一行：

go (dropWhile (/=' ') str) acc : (takeWhile (/=' ') str)

有两个关键问题：

1. 运算符优先级混乱：Haskell中函数调用的优先级远高于:，所以这行代码会被编译器解析成：

   (go (dropWhile (/=' ') str) acc) : (takeWhile (/=' ') str)
   

   这里go的返回类型是[String]，而takeWhile (/=' ') str返回的是String（也就是[Char]）。你试图把一个[String]作为元素拼到String前面，这就导致了类型层级混乱——编译器自然会报错说无法匹配[Char]和Char。
2. 累加器使用错误：你应该把当前提取到的单词（takeWhile...的结果，类型是String）添加到累加器acc（类型[String]）中，然后把新的累加器传递给递归的go，而不是把go的返回值和单词拼接。

另外，原代码还没处理开头/连续空格的情况，比如输入" hello world"会得到空字符串作为第一个元素，这也需要优化。

修正后的代码 #

我给你写两种修正方案，第一种贴近你的原始思路，第二种用Haskell内置的span函数更简洁高效：

方式一：优化你的原始思路 #

toStrings :: String -> [String]
toStrings str = go (dropWhile (==' ') str) []  -- 先去掉开头所有空格，避免空单词
  where
    go [] acc = reverse acc  -- 累加器是反向存储的，最后反转得到正确顺序
    go s acc = let word = takeWhile (/=' ') s
                   -- 去掉当前单词后的所有空格，得到下一段要处理的字符串
                   rest = dropWhile (==' ') (drop (length word) s)
               in go rest (word : acc)  -- 把当前单词加到累加器前面，递归处理剩余部分

方式二：用span函数简化（推荐） #

span p s会一次性返回(takeWhile p s, dropWhile p s)，避免重复遍历字符串，效率更高：

toStrings :: String -> [String]
toStrings str = go (dropWhile (==' ') str) []
  where
    go [] acc = reverse acc
    go s acc = let (word, restWithSpaces) = span (/=' ') s
                   rest = dropWhile (==' ') restWithSpaces
               in go rest (word : acc)

测试示例 #

运行toStrings "thanks for your help"，会正确返回["thanks", "for", "your", "help"]，完美符合你的需求~

内容的提问来源于stack exchange，提问作者eitan