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

Question

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

我这样写:

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

但是我一直得到这个错误:

Non-exhaustive patterns in function triplize

我是Haskell的新手，所以任何提示都很感激!

Answer 1

当你写

triplize [x]

你说的是参数必须匹配模式[x]。此模式表示具有单个值的列表，该值将分配给名称x。注意，列表不会分配给名称x，只分配给该列表中的单个值。如果你尝试用列表[]或[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]匹配只有一个元素的列表。如果您想匹配任何列表，只需删除[和]:

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