Haskell "als Muster" in Algorithmus

Question

compress ist eine Funktion, die fortlaufende Duplikate von Listenelementen entfernt. Jetzt

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

, ist nicht x:ys ist das gleiche Muster wie y:_ in (x:ys@(y:_))? Wenn ja, wie wird diese Funktion korrekt ausgeführt?

Answer 1

Nein, sie sind nicht gleich. Das Symbol @ wird verwendet, um einem Parameter einen Namen zu geben und mit einem Muster nach dem @ -Symbol übereinzustimmen. In Ihrem Beispiel ist ein Synonym für (y:_). Schreiben Sie es als (x:(ys@(y:_))) macht es klarer. x ist das erste Element der Liste, y ist das zweite Element der Liste, ys ist die Liste ohne das erste Element x.