haskell - 为什么这个定义不涵盖所有模式案例？

Question

所以我正在尝试triplize一个元素，即制作该元素的其他 2 个副本。

所以我写了这个：

triplize :: [a] -> [a]
triplize [x] = concatMap (replicate 3) [x]

但我一直收到这个错误：

Non-exhaustive patterns in function triplize

我是 Haskell 的新手，所以任何指针表示赞赏！

Answer 1

当你写

triplize [x]

您是说参数必须与模式匹配[x]。此模式表示具有单个值的列表，该值将分配给 name x。请注意，列表不会分配给 name x，只会分配给该列表中的单个值。如果您尝试使用 list[]或调用您的函数[1, 2]，则会导致错误，因为您没有告诉您的函数如何处理这些输入。

你可能想要的是

triplize x = concatMap (replicate 3) x

在这里，您的模式只是x，它匹配任何列表，从空列表到无限列表。请注意，函数定义中的模式与您自己创建值的方式相匹配。在 Haskell 中，您可以对构造函数进行模式匹配，列表可以使用方括号和逗号构造，也可以使用:运算符构造，所以[1, 2, 3] == (1:2:3:[]). 实际上，:操作符就是 Haskell 在内部表示列表的方式。

使用更多模式匹配的示例：

sumSuccessive :: [Int] -> [Int]
sumSuccessive [] = []      -- Empty list
sumSuccessive [x] = [x]    -- Singleton list (only one value)
sumSuccessive (x:y:rest) = x + y : sumSuccessive rest
    -- Match a list with at least two elements `x` and `y`,
    -- with the rest of the list assigned to the name `rest`

此示例函数将获取列表[1, 2, 3, 4]并返回列表[3, 7]( [1 + 2, 3 + 4])。

Answer 2

你可以定义triplize为：

triplize :: [a] -> [a]
triplize x = concatMap (replicate 3) x

但甚至没有必要写x：

triplize :: [a] -> [a]
triplize = concatMap (replicate 3)

原始代码仅适用于具有一个元素的列表：

> triplize [1]
[1, 1, 1]
> triplize []
*** Exception: Non-exhaustive patterns in function triplize
> triplize [0, 1]
*** Exception: Non-exhaustive patterns in function triplize

Answer 3

[x]匹配仅包含一个元素的列表。如果要匹配任何列表，只需删除[and ]：

triplize x = concatMap (replicate 3) x

这将["a", "b", "c"]变成["a", "a", "a", "b", "b", "b", "c", "c", "c"].

另一方面，如果您想获取一个元素并返回一个列表（包含该元素的 3 个），那么您的代码应该是

triplize :: a -> [a]
triplize x = replicate 3 x