算法中的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。