交換列表的前兩個元素，（Haskell中）

Question

爲了交換列表的前兩個元素，我已經寫以下代碼：

swap_first_two_elements :: [a]->[a] 
swap_first_two_elements list=case list of 
    x:y:_ -> y:x:_ 
    [x] -> Nothing 
    []-> Nothing 

然而，終端顯示所顯示的錯誤如下：

[1 of 1] Compiling Main    (test.hs, interpreted) 

test.hs:3:16: Pattern syntax in expression context: _ 
Failed, modules loaded: none. 
Prelude> 

誰願意告訴我它有什麼問題？

順便說一句，香港專業教育學院也嘗試到了最後兩個行合併爲：

​​

怎麼錯了？終端顯示：

test.hs:4:3: Parse error in pattern: [x] || [] 
Failed, modules loaded: none. 

誰願意告訴我它有什麼問題？謝謝XD

Answer 1

錯誤的是，你不能在分支的結果中使用_。 _被保留以指示未使用的變量。然而

swap_first_two_elements :: [a]->[a] 
swap_first_two_elements list = case list of 
    x:y:xs -> y:x:xs 
    [x] -> Nothing 
    []  -> Nothing 

，如果你編譯你會得到另一個錯誤：如果你想重用列表的尾部，你必須將它綁定到另一個名稱。你的案例分支返回不同類型的值。第一個分支返回[a]類型的值，但您的第二個和第三個分支返回Maybe [a]類型的值。爲了解決這個問題，你必須包裝第一支在Just（和修復您的類型簽名，以表明你正在返回Maybe [a]而不是[a]）：

swap_first_two_elements :: [a] -> Maybe [a] 
swap_first_two_elements list = case list of 
    x:y:xs -> Just (y:x:xs) 
    [x] -> Nothing 
    []  -> Nothing 

最後的改進是，你可以結合你的最後兩個案例分支成一個利用一切後備模式匹配：

swap_first_two_elements :: [a] -> Maybe [a] 
swap_first_two_elements list = case list of 
    x:y:xs -> Just (y:x:xs) 
    _  -> Nothing