List 中元素的位置

Question

我正在尝试在给定 ID 的列表中获取元素的索引。这就是我所拥有的：

type alias Id = Int  

posInList : Id -> List (Id, ItemModel) -> Int
posInList id list =
  if List.isEmpty list then 
      -1
  else 
    if (List.head list).fst == id then
      0
    else 
      if posInList id (List.tail list) == -1 then
        -1
      else
        posInList id (List.tail list) + 1

我从 here 找到的方案代码中得到了这个答案（以 7 票回答）。

编译代码时出现两个错误：

我该如何解决这个问题？还是有更简单的解决方案？

更新：用 Maybe 试了一下

posInList : Id -> Maybe List (Id, ItemModel) -> Int
posInList id list =
  case list of
    Nothing -> -1
    Just a -> 
      case (List.head a) of
        Just b -> 
          if b.fst == id then 
            0
          else
            case (List.tail a) of
              Nothing -> -1
              Just c -> (posInList id (Just c)) + 1
        Nothing -> -1

我想我已经接近了，但我无法解决此错误：

Just c 是Maybe List 类型，但它与Maybe 有什么冲突？ 我想到了类型注释，所以我添加了这样的括号：

posInList : Id -> Maybe (List (Id, ItemModel)) -> Int

然后我得到：

现在我一无所知，从未见过这样的错误。

Answer 1

首先，将其分解为更简单的indexOf 函数可能有助于避免处理您正在使用的特定元组模型。这使它更清洁，更可重复使用。

我们将indexOf 定义为：

indexOf : a -> List a -> Maybe Int
indexOf el list =
  let
    indexOf' list' index =
      case list' of
        [] ->
          Nothing
        (x::xs) ->
          if x == el then
            Just index
          else
            indexOf' xs (index + 1)
  in
    indexOf' list 0

这里没有什么特别的，只是模式匹配和递归调用。子函数indexOf' 用于跟踪当前索引。

现在我们有了一个通用的indexOf 函数，它可以用于任何可比较的类型，而不仅仅是整数。

接下来，我们需要挤入您的List (Id, ItemModel) 类型列表。这是我们可以在map 函数中使用fst 的地方，创建Ids 的列表。

posInList : Id -> List (Id, ItemModel) -> Int
posInList id list =
  case indexOf id (List.map fst list) of
    Nothing ->
      -1
    Just index ->
       index

在未找到某些东西的情况下，您的原始实现返回 -1，但我认为返回 Maybe Int 会更惯用。这样可以清楚地表明您对使用该库的其他人的意图。

Answer 2

您是否看过以下内容：

Transpose in Elm without Maybe

Right way to forcibly convert Maybe a to a in Elm, failing clearly for Nothings