haskell - 为什么我不能在 Haskell 中的串联函数 (++) 上进行模式匹配？

Question

我正在尝试匹配 **String Newline String**函数拆分中的模式。

split::String -> [String]
split[] = []
split (x++'\n':xs) = [x]++split(xs)

我收到此错误: Parse error in pattern: x ++ ('\n' : xs)
我在这里做错了什么？

我知道还有其他方法可以达到相同的结果，但我想了解这种模式有什么问题。我对Haskell BTW相当陌生。

Answer 1

一个问题(据我了解)是 ++不是列表数据类型的构造函数 :是。您可以将列表数据类型定义为

data [a] = [] | a : [a]

在哪里 :是一个将元素附加到列表前面的构造函数。但是， ++是一个函数(在此处的文档中定义: http://hackage.haskell.org/package/base-4.8.1.0/docs/src/GHC.Base.html#%2B%2B)为

(++) :: [a] -> [a] -> [a]
(++) []     ys = ys
(++) (x:xs) ys = x : xs ++ ys

我们可以定义自己的数据类型列表，例如

data List a = Empty | Cons a (List a)

这将模仿我们熟悉的列表的行为。事实上，你可以使用 (Cons val)在一个模式中。我相信你也可以像这样使用 concat 构造函数定义一个类型

data CList a = Empty | Cons a (CList a) | Concat (CList a) (CList a)

您可以使用它来懒惰地连接两个列表并将它们合并为一个。使用这样的数据类型，您可以对 Concat xs ys 进行模式匹配。输入，但你只能在两个列表的边界上工作，而不是在一个列表的中间。

无论如何，我自己对 Haskell 还是很陌生，但我希望这是正确的。