Haskell-統一將產生無限類型

Question

我是Haskell的新手，我剛遇到此問題/錯誤。

我不知道發生了什么，也不太熟悉使用列表並將它們定義為(l:k) ...我真的不知道l和k被認為是什么... l是一個元素，並且k是一個列表？

無論如何，我將不勝感激有人向我解釋了這些l和k東西，或者可能是在使用list的函數中解釋了(l:t:k) ，也許是一種編寫此簡單delete函數的方法，假設該元素位於列表中，則可以所需元素的首次出現並將其刪除，並返回新列表。

    delete :: Eq b => b -> [b] -> [b]
    delete r (l:k)
        | inside r k = [l]:delete(r k)
        | otherwise = k

Answer 1

模式l:k做三件事：

1. 如果模式匹配，它會告訴您列表不為空
2. 它將l綁定到列表的第一個元素
3. 它將k綁定到列表的其余部分。

如果您有一個非空列表，則想將項r與l進行比較。 如果它們相等，則只返回列表的其余部分。 否則，將l放回遞歸調用產生的列表中。

如果列表為空，則還需要通過返回一個空列表來處理。 （從[]刪除r會產生[] 。）

delete :: Eq b => b -> [b] -> [b]
delete r (h:t) | r == h = t   -- h for head, t for tail
               | otherwise = h : delete r t
delete _ [] = []   -- base case