Haskellの連結機能（++）でパターンを一致させることができないのはなぜですか？

Question

私は**String Newline String**のパターンを関数Splitにマッチさせようとしています。

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] 

として定義されているリストのデータ型と考えることができます。

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

として私たちは、私たちの身近なリストの挙動を模倣する

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

などの当社独自のデータ型のリストを定義することができます。しかし、++は（http://hackage.haskell.org/package/base-4.8.1.0/docs/src/GHC.Base.html#%2B%2Bここではドキュメントで定義された）の関数です。実際には、(Cons val)をパターンとして使用できます。私はあなたにも、あなたがなまけ二つのリストを連結し、1にそれらを結ぶ延期するために使用できるので、

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

のように、連結コンストラクタを持つタイプを定義することができます信じています。このようなデータ型では、Concat xs ysの入力に対してパターンマッチングを行うことができますが、2つのリストの境界でのみ動作し、その真ん中では動作しません。

とにかく、私はまだ自分自身をHaskellのためにかなり新しいですが、私はこれがポイントであると思います。

Answer 2

可能性があります。その後、"a\nb\nc"を照合するとx = "a", xs = "b\nc"またはx = "a\nb", xs = "c"が生成され、どちらを使用するかを決める特別なルールが必要になります。機能に対してマッチングすることは合理的に一般的に実装することも不可能です：あなたはx与えられたf xを見つける必要がある、と考えられるすべてのxを試みるよりも、この他を行うには方法はありません。