Haskell的linesCut函数：最后一行为何引发类型问题？如何修复？

先看你的函数实现：

linesCut :: String -> [String]
linesCut "" = [""]
linesCut (x:xs)
   |x == '\n' = [""] ++ linesCut xs
   |otherwise = x: (head (linesCut xs))

类型错误的原因 #

你的判断完全正确：x是Char类型，head (linesCut xs)是String类型（也就是[Char]）。问题出在两个层面的类型冲突：

1. :操作符的类型要求是a -> [a] -> [a]，需要左边元素类型和右边列表的元素类型一致。你用x : head(...)时，左边是Char，右边是[Char]，虽然这能构造出一个String（[Char]），但和函数返回的[String]（[[Char]]）类型不匹配。
2. 对比第一个分支：当x == '\n'时，[""] ++ linesCut xs的结果是[String]，完全符合函数签名要求；但otherwise分支返回的是单个String，和函数要求的[String]类型不兼容，所以编译时会抛出类型错误。

修复思路 #

要实现按换行分割字符串的逻辑，otherwise分支需要返回[String]：把当前字符x拼接到linesCut xs的第一个字符串前面，再保留后面的字符串。可以修改为：

linesCut :: String -> [String]
linesCut "" = [""]
linesCut (x:xs)
   | x == '\n' = "" : linesCut xs
   | otherwise = let rest = linesCut xs in (x : head rest) : tail rest

这里rest是linesCut xs的结果（[String]），x : head rest生成新的首字符串，再用:把它和tail rest组合成新的[String]，完全符合返回类型要求。

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