Haskell "anders" Muster übereinstimmen?

Question

Ich habe den folgenden Code:

swapInPairs :: [a] -> [a] 
swapInPairs [] = [] 
swapInPairs [x] = [x] 
swapInPairs (x:y:ys) = y : x : swapInPairs ys 

ist es eine Möglichkeit, so etwas wie

swapInPairs :: [a] -> [a] 
swapInPairs (x:y:ys) = y : x : swapInPairs ys 
otherwise = id 

Ich weiß, es ist nicht wirklich eine große Sache zu tun, und wird nur eine Zeile Code befreien, aber Ich bin gespannt, ob es so etwas für Mustervergleiche gibt, da Wächter "anders" haben.

Answer 1

Mustererkennung wird im Allgemeinen nacheinander angewendet.

Also, wenn Sie ein ‚catch-all‘ -Version nach einem spezifischeres Muster wird präzises Muster zuerst abgestimmt werden, und wenn es unmöglich ist, ein ‚catch-all‘ wird nicht sein Ding.

So können Sie tun

swapInPairs :: [a] -> [a] 
swapInPairs (x:y:ys) = y : x : swapInPairs ys 
swapInPairs x = x 

Answer 2

Stellt sich um Angelegenheiten in Pattern-Matching, und ich wusste nicht, dass:

swapInPairs :: [a] -> [a] 
swapInPairs (x:y:ys) = y : x : swapInPairs ys 
swapInPairs x = x 

funktioniert.