Haskell - 函数中的非详尽模式问题
Haskell - A problem with non-exhaustive patterns in function
我有以下 haskell 代码：
为什么 x0 的模式不匹配函数 f？
y 和 ys 是列表的两个元素。因此，这意味着模式：
(x,xs) : [y, ys] 是 (x, xs) : y : ys : [] 的缩写。因此，该列表包含 三个 项：作为第一项，一个 2 元组 (x, xs) 作为第二项 y 和作为第三项 ys.
因此您可以将其与：
-- ↓ ↓ ↓ three items in the sublist
[ [(1,[1]),(1,[1]), (1,[1])]]
或者你应该将其与：
f :: [[(a, [b])]] -> Int
f (((x, xs) : _) : y : _) = 0
我有以下 haskell 代码：
为什么 x0 的模式不匹配函数 f？
y 和 ys 是列表的两个元素。因此，这意味着模式：
(x,xs) : [y, ys] 是 (x, xs) : y : ys : [] 的缩写。因此，该列表包含 三个 项：作为第一项，一个 2 元组 (x, xs) 作为第二项 y 和作为第三项 ys.
因此您可以将其与：
-- ↓ ↓ ↓ three items in the sublist
[ [(1,[1]),(1,[1]), (1,[1])]]
或者你应该将其与：
f :: [[(a, [b])]] -> Int
f (((x, xs) : _) : y : _) = 0