作為Haskell中的（@）模式

Question

我在Haskell中編寫了自己的take函數，如下所示：

take' :: (Integral n, Eq a) => n -> [a] -> [a]
take' n lst
    | n <= 0 = []
    | lst == [] = []
    | otherwise = (head lst) : (take' (n-1) $ tail lst)

而且運作良好。

但是當我嘗試在函數參數中使用as（@）模式編寫相同的函數時，似乎該函數無法識別第二個guard選項：

take' :: (Integral n, Eq a) => n -> [a] -> [a]
take' n lst@(hd:tl)
    | n <= 0 = []
    | lst == [] = []
    | otherwise = hd : (take' (n-1) $ tl)

當我嘗試在ghci中取'20 take' 20 [] ，我得到Non-exhaustive patterns in function take'的Non-exhaustive patterns in function take'錯誤。

我究竟做錯了什么？

謝謝，Špela。

Answer 1

看這里：

lst == [] = []

lst永遠不能等於[] ，因為你說lst = hd:tl 。 相反，你可以打破那個分支，進入一個獨立的模式匹配，以獲得完全覆蓋。 （一旦這樣做，您也可以刪除Eq約束。）

當你調用'20 take' 20 [] ，它會嘗試找到一個與之匹配的模式，但你沒有寫一個： hd:tl不能與[]匹配。 在模式無法匹配之后，它不會看到該模式的守衛。