刪除列表中的所有實例

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] 

A型簽名的形式

name :: (Constraints) => type 

其中Constraints涉及類型類，像(Ord a, Show a)。在這種情況下，該功能使用(==)，因此必須有Eq a的限制。

然後函數定義與類型部分不匹配，您定義它將一對作爲參數，而類型簽名另有說明（您的定義不確定，類型爲curried）。

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應該滿足的類型。另外，你的函數有兩個參數，a和[l]，正如你稍後在函數定義中指定的那樣。然而，你的函數實現只需要一個參數，一個元組。正如我前面提到的，元組只能用來指定參數應該是什麼類型，並且不能與模式匹配。

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

如果你想使用filter寫它，你總是可以使用下面的代碼

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

Answer 3

其實我覺得列表理解是一個非常直觀的符號表示這樣的問題：

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