リストからすべてのインスタンスを削除する

Question

私はリスト内のアイテムのインスタンスをすべて削除しようとしています。これは、haskellを使用しています。私は本当に理解していないというエラーが出ます。誰かが私を助けて、私が正しいことをしているかどうかを教えてもらえますか？

deleteAllInstances :: (a, [l]) => a -> [l] -> [l] 
deleteAllInstances (a, []) = [] 
deleteAllInstances (i, (x:xs)) 
    | i == x = tail 
    | otherwise = x ++ tail 
    where tail = deleteAllInstances i xs 

Answer 1

ファーストを使用することができ、型シグネチャは、不正な形式です。

deleteAllInstances :: (a, [l]) => a -> [l] -> [l] 

型シグネチャは、フォームConstraintsが(Ord a, Show a)ような型クラスを含む

name :: (Constraints) => type 

を有しています。この場合、関数は(==)を使用するため、Eq aという形式の制約が必要です。

関数定義は型部分と一致せず、引数としてペアをとるように定義しましたが、型シグネチャはそうではありません（定義は一掃されていない、型はカルトです）。

deleteAllInstances (a, []) = [] 
deleteAllInstances (i, (x:xs)) 
    | i == x = tail 
    | otherwise = x ++ tail 
    where tail = deleteAllInstances i xs 

は、あなたがリストの先頭に要素を接着する(++)を使用しますが、(++)は二つのリストを連結して、あなたはここで(:)を必要としています。

関数を定義する最も簡単な方法は、filter

deleteAllInstances :: Eq a => a -> [a] -> [a] 
deleteAllInstances a xs = filter (/= a) xs 

を使用することですが、あなたは、明示的な再帰を自分で行いたい場合は、

deleteAllInstances :: Eq a => a -> [a] -> [a] 
deleteAllInstances a (x:xs) 
    | a == x = rest 
    | otherwise = x : rest 
     where 
     rest = deleteAllInstances a xs 
deleteAllInstances _ _ = [] 

Answer 2

私はあなたが=>前(a, [l])をどうしようとしているのかわからないんだけど、私はそれは必要ないと思います。構文通常、aとlがどのような型を満たすべきかを指定するために予約されています。

また、関数定義で後で指定したように、関数には2つの引数、aと[l]が必要です。しかし、関数の実装には1つの引数、つまりタプルだけが必要です。前に述べたように、タプルは引数の型を指定する役割しか果たしておらず、パターンマッチングもできません。あなたがfilterを使用して、それを書きたい場合は

deleteAllInstances :: a -> [l] -> [l] 
deleteAllInstances a [] = [] 
deleteAllInstances i (x:xs) 
    | i == x = rest 
    | otherwise = x : rest 
    where rest = deleteAllInstances i xs 

が、あなたは常に次のコード

deleteAllInstances :: a -> [a] -> [a] 
deleteAllInstances a = filter (/=a) 

Answer 3

私が実際にリストの内包が非常にあることを見つけますこのような問題の直感的な表記：

deleteAllInstances :: Eq a => a -> [a] -> [a] 
deleteAllInstances a list = [x | x <- list, x /= a]