アルゴリズムの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はリストの2番目の要素、ysは最初の要素のないリストxです。