（x：_）和[x：_]是什麼意思？

Question

head' :: [a] -> a 
head' [] = error "No head for empty lists!" 
head' (x:_) = x 

head' :: [a] -> a 
head' xs = case xs of [] -> error "No head for empty lists!" 
         (x:_) -> x 

我在問一個相當容易的問題，我不明白。 在上面的代碼中，我看到它需要一個輸入列表。 但在第三行，它說(x:_)這讓我困惑。 任何人都可以向我解釋他們爲什麼寫(x:_)而不是[x:_]？

加上，我不明白什麼(x:_)意味着什麼。

謝謝。

Answer 1

這是一個叫做pattern matching的概念。 :是一箇中綴構造函數，就像+是一箇中綴函數。在Haskell中，模式與構造函數匹配。

(1 : 2 : 3 : []) 

與[1, 2, 3]相同，方括號表示法只是用於創建列表的語法糖。

您的模式(x : _)意味着您想要將列表的第一個元素綁定到x，並且您不關心列表_的其餘部分。

Answer 2

:是列表的構造函數，它將新列表的開頭作爲左側參數，將尾部作爲其右側參數。如果你將它用作這裏的模式，這意味着你匹配的列表的頭部被賦予左邊的模式，尾部賦予給右邊。

因此，在這種情況下，列表的頭部存儲在變量x中，尾部未使用（_表示您不關心該值）。

是的，你也可以使用[]模式匹配列表，但只有固定大小的列表。例如，模式[x]與只有一個元素的列表相匹配，然後將其存儲在變量x中。同樣，[x,y]會與包含兩個元素的列表匹配。

您建議的模式[x:y]將因此匹配一個列表與一個元素匹配的模式x:y。換句話說，它將匹配包含恰好一個列表的列表列表。