使用通配符查找元组列表中元素的索引

Question

我试图使用 Haskell 使用通配符查找元组列表中元素的索引。

我调整了我的类型以使其更容易解释。目前我的思路是使用elemIndex。

例如，

> elemIndex 2 [1,2,3,4,5]
Just 1

但就我而言，我有一个元组列表，如下所示：

> elemIndex (2, 20) [(1, 10),(2, 20),(3, 30),(4, 40),(5,50)]
Just 1

我希望能够只提供元组的第一部分并获取索引，如下所示：

> elemIndex (2, _) [(1, 10),(2, 20),(3, 30),(4, 40),(5,50)]
Just 1

但我得到的结果是这样的：

<interactive>:58:15: error:
    • Found hole: _ :: Integer
    • In the expression: _
      In the first argument of ‘elemIndex’, namely ‘(2, _)’
      In the expression:
        elemIndex (2, _) [(1, 10), (2, 20), (3, 30), (4, 40), ....]
    • Relevant bindings include
        it :: Maybe Int (bound at <interactive>:58:1)

我无法破译错误消息，也无法弄清楚如何解决该错误。任何帮助将不胜感激，谢谢！

Answer 1

这_不是通配符，它​​是一个类型洞[haskell-wiki]。类型孔通常用于找出要填充的类型。

您可以在这里使用的是findIndex :: (a -> Bool) -> [a] -> Maybe Int. 在这里，您可以使用谓词 ( a -> Bool)，而不是指定要搜索的元素，然后该函数将为给定列表返回满足谓词的第一个索引（包装在Just数据构造函数中），或者Nothing如果找不到元素。

因此，您可以将其实现为：

Prelude Data.List> findIndex ((2 ==) . fst) [(1, 10),(2, 20),(3, 30),(4, 40),(5,50)]
Just 1