具有语法糖和模式匹配的非详尽模式

Question

我编写了函数fun1，它接受一个列表并删除每个大于或等于先前数字的数字。

fun1 (l:ls) =
    fun' [l] ls
  where
    fun' a z =
      case z of
        []  -> a
        _   -> fun' (if (head z) < (last a) then a ++ [head z] else a) (tail z)

效果很好：

> fun1 [4,4,5,9,7,4,3,1,2,0]
=> [4,3,1,0]

在最后一行而不是使用head z 和tail z 我想使用z@(x:xs) 这是我曾经见过的语法糖。

我在fun2 中尝试过，但出现非详尽模式错误。 当我使用case xs of 而不是case z of 时，该函数运行而不会引发错误，但是这样它要么会跳过最后一个元素，要么我将不得不编写操作以再次应用于最后一个元素（我显然不会想做）。

fun2 (l:ls) =
    fun' [l] ls
  where
    fun' a z@(x:xs) =
      case z of -- "case xs of" would work, but will skip the last element
        []  -> a
        _   -> fun' (if x < (last a) then a ++ [x] else a) xs

这会导致非详尽模式错误：

> fun2 [4,4,5,9,7,4,3,1,2,0]
*** Exception: main.hs:(4,5)-(7,61): Non-exhaustive patterns in function fun'

当我尝试匹配z 的模式时，为什么会出现此错误？

Answer 1

表达式：

fun' a z@(x:xs)> =
    case z of -- "case xs of" would work, but will skip the last element
        []  -> a
        _   -> fun' (if x < (last a) then a ++ [x] else a) xs

没有多大意义，这意味着如果z 是一个非空列表，则该子句只会“触发”，因此[] -> … 的情况将永远不会触发，因为模式(x:xs) 已经将该子句限制为非空列表。

因此，您可以将其重写为：

fun' a z =
    case z of
        []     -> a
        (x:xs) -> fun' (if x < (last a) then a ++ [x] else a) xs

对于给定的样本输入，返回：

Prelude> fun2 [4,4,5,9,7,4,3,1,2,0]
[4,3,1,0]