算法中的Haskell「as patterns」

Question

compress是一個刪除連續重複列表元素的函數。

compress (x:ys@(y:_)) 
    | x == y = compress ys 
    | otherwise = x : compress ys 
compress ys = ys 

現在，是不是x:ys是相同的模式(x:ys@(y:_))y:_？如果是，那麼這個函數是如何正確執行的？

Answer 1

不，他們是不一樣的。 @符號用於爲參數提供名稱，並與@符號後的模式進行匹配。

在您的示例中ys是(y:_)的同義詞。將它寫爲(x:(ys@(y:_)))使其更清楚。 x是列表中的第一個元素，y是列表的第二個元素，ys是沒有第一個元素的列表x。