如何编写一个map语句来比较haskell中两个列表的每个元素？

Question

我有两个函数都返回一个列表：

enter earth = head $ do
  lst <- earth
  return $ map (\x -> if (x == 0) then 2 else x) lst

helper earth = head $ do
  lst <- tail (earth)
  return lst

这里earth是另一个函数，它返回列表的列表，例如[[1,2,3]，[2,3,4]，[4,7,3]]。 在辅助函数中，我将返回列表的第二个元素，即尾巴的头部。 在回车功能中，只有头部。 现在，我正在编写另一个函数，我想将这两个函数作为参数传递给它。 我正在这样做：

see :: [Int] -> [Int] -> [Int]
see enter helper = return $ map (\ x y -> if (x == 2) && (y == 0) then 2 else y) enter helper

我基本上想做的是检查enter返回的列表在该位置是否具有2，第二个列表在该位置具有零，然后将其更改为0到2，否则让第二个列表中的元素保持原样。

我在这里做错了什么？

编辑：

因此，有一个地球函数返回如下：[[0,0,1]，[1,0,1]，[0,0,0]]。 enter函数获取地球的头部（即[0,0,1]并使其如下：[2,2,1]。helper函数获取并返回地球的第二个元素（尾部的头部）地球返回的列表的列表（即[1,0,1]）现在，see函数将这些[2,2,1]和[1,0,1]用作两个参数，并且如果一个元素是在第一个列表中为2，在第二个列表中为0（即，在本示例中，两个列表中的第二个元素，那么0应该在第二个列表中变为2，应返回的内容应类似于：[1， 2,1]

Answer 1

zipWith是您要查找的功能。 map只能在一个列表上使用，因此使用它会导致类型错误。 如果仅在最后一行用zipWith替换map ，它应该可以工作。 另外，您应该删除return 。 在列表的上下文中， return仅将某些内容放入单例列表中： return x = [x] 。 请注意， return是一个函数，与C影响语言中的return并没有真正的关系。 我也建议此时不要对列表使用do表示法。

同样，最后一个函数即使使用了这些名称，也没有使用其他两个函数。 我不确定这是否是您想要的。 它等效于see的定义，其中您使用了名称x和y而不是enter和helper 。

这是zipWith行为的zipWith ：

λ> zipWith (*) [2, 3, 4] [10, 100, 1000]
[20,300,4000]

Answer 2

看起来您想要这样的东西：

       xs = [ ...,     1,     2,     0,     1, ... ]
       ys = [ ...,     3,     0,     4,     0, ... ]
zip xs ys = [ ..., (1,3), (2,0), (0,4), (1,0), ... ]
   result = [ ...,     3,     2,     4,     0, ... ]

result是列表ys的零被2s取代，其中列表xs中有2。

因此，您可以将其直接表达为列表理解：

result = [ r | (x,y) <- zip xs ys, let r = if y == 0 && x == 2 then 2 else y ]

Answer 3

map仅遍历1个列表，但是您尝试同时遍历2个列表，并进行计算。

因此，您需要一个函数，该函数需要一个具有2个参数，2个列表的函数，并返回具有与函数结果相同类型的列表： (a -> b -> c) -> [a] -> [b] -> [c]

hoogle找到具有此属性的函数： zipWith

因此，您编写了一个辅助函数，该函数可以执行您想要的操作：

helper 0 2 = 2
helper _ y = y

现在，您编写了see函数并将helper函数放在where子句中（您以后可能不需要该函数）：

see a b = zipWith helper a b
    where helper 2 0 = 2
          helper _ y = y

我不知道您为什么使用do但这在这里是不必要的。