在safeTail函數中的Haskell模式匹配

Question

我得到了一個使用模式匹配定義的Haskell函數，但我不是很明白爲什麼它看起來像它的樣子。

safeTail (x : xs) = xs 

我不是特別明白在（x：xs），這是什麼意思？

Answer 1

那就是模式匹配。

函數safeTail的第一個參數是一些列表類型。如果參數是非空列表，則此模式匹配將成功並將x綁定到head元素，將xs綁定到列表的尾部。

如果您將空列表傳遞給safeTail，則模式匹配將失敗，並檢查其他模式（如果存在）。

Answer 2

考慮列表數據類型的類似定義。

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

有兩個構造函數：一個用於創建一個空列表，另一個用於創建一個給定值和另一個列表的列表。

模式匹配通過將值與用於創建它的構造函數進行匹配來工作。

safeTail (Cons x xs) = xs -- (2) 

也就是說，如果safeTail被施加到使用Cons構造定義的值，則返回值是第二個參數Cons。

在實際的代碼，這兩個類型構造List和Empty數據構造被命名爲[]和Cons構造被命名爲(:)。

data [] a = [] | (:) a ([] a) 

其中的Haskell允許以特殊語法

data [a] = [] | a : [a] 

應用類型建築工[]的類型或類型變量被寫入可以通過包括[]內部的參數，和所述符號構造器（代替因爲它以:開頭）可以用作中綴運算符。

也就是說，可以編寫

safeTail ((:) x xs) = xs -- (3) 

或

safeTail (x : xs) = xs -- (4) 

與（2），（3），和（4）等效於上述（1）。

>>> safeTail ((:) 3 ((:) 2 ((:) 1 []))) 
[2,1] 
>>> safeTail (3:2:1:[]) 
[2,1] 
>>> safeTail [3,2,1] 
[2,1] 

爲了進一步簡化，Haskell中表示(x:[])如[x]，(x:y:[])[x,y]作爲等

的safeTail一個完整的定義也將一個空的list參數提供一個值：

safeTail [] = [] 

或Maybe基於定義

safeTail :: [a] -> Maybe [a] 
safeTail [] = Nothing 
safeTail (x:xs) = Just xs