在 [[Int]] 列表中的任何给定索引 n 处查找列表的长度

Question

我的问题可能非常简单和基本，但我觉得到目前为止我错过了一件至关重要的事情。

我的目标是在任何给定索引处计算[[Int]]列表中列表的长度。

例如， listLength [[1,2],[1,2,3],[1,2,3,4]] 3应该导致4 。 我的 function 如下

listLength :: [[Int]] -> Int -> Int 
listLength (x:[xs]:[[xxs]]) n = length ((x:[xs]:[[xxs]]) !! n) 

它也可以编译，但是每当我使用类似于上面的参数调用它时，我都会在 function 异常中得到一个非详尽模式。

我认为我在这里[[Int]] [Int]是必须为列表定义合适模式的部分[[Int]]列表由它组成。

我试过x:[xs]来模拟2)和[xs]:[[xxs]]来模拟1) 。 但是，我仍然收到没有匹配的模式的错误。

我怎样才能模拟前面的叙述？ 任何帮助都将非常感激。

Answer 1

您寻求的模式是... xss ：

listLength :: [[Int]] -> Int -> Int 
listLength xss n = length (xss !! n) 

请注意，这像往常一样使用从 0 开始的索引。 如果您需要索引从 1 开始，请改用length (xss !! (n-1)) 。

使用过于复杂的模式是一个相当常见的错误，因为人们认为在列表列表上工作需要对仅列表特别小心。 然而，这是一个红鲱鱼。 注意类型：

xss :: [[Int]]
n :: Int
xss !! n :: [Int]   -- since that's the element type of [[Int]]
length (xss !! n) :: Int

此外，不需要为空/非空列表创建特殊情况： length已经处理了所有情况。