如何在多个可遍历对象上使用forEach？

嗨，我完全懂你现在的困扰——想要用forEach同时处理多个可遍历对象，而且你的函数是需要接收两个参数来生成Html的（也就是fn :: _ -> _ -> Html），但官方文档没提这种用法，自己试的几种写法也没成功对吧？

其实核心问题在于：常规的forEach只能针对单个可遍历对象做迭代，每次迭代只会取出集合里的一个元素。要让它适配你的双参数函数，我们得先把两个可遍历对象里的元素一一配对，变成一个新的、包含成对元素的可遍历集合，之后再用forEach处理这个新集合就可以了。

具体可以这么做：

• 第一步：将两个可遍历对象配对
  你可以用语言内置的「配对函数」（比如很多函数式语言里的zip函数），把traversable1和traversable2合并成一个由元素对组成的新集合。举个例子，如果是数组类型的话，配对后会变成类似[(元素1_1, 元素2_1), (元素1_2, 元素2_2), ...]的结构。
  代码大概是这样：

  let paired = zip traversable1 traversable2
  

  注意：如果两个集合长度不一样，大部分zip函数会以较短的那个为准，多余的元素会被忽略，这点要留意。

• 第二步：用forEach处理配对后的集合
  现在配对后的集合里每个元素都是包含两个值的元组，你就可以让forEach迭代这个集合，每次把元组里的两个值传给你的fn函数：

  {forEach paired (\(itemFrom1, itemFrom2) -> fn itemFrom1 itemFrom2)}
  

  如果你的语言支持uncurry函数（能把接受两个参数的函数转换成接受单个元组参数的函数），还能写得更简洁：

  {forEach paired (uncurry fn)}
  

再说说你之前尝试的写法为什么行不通：

• 你写的{forEach traversable1 (fn traversable2)}，这里其实是把整个traversable2作为参数传给了fn，然后forEach每次只给fn传一个traversable1的元素——相当于fn拿到的是「单个元素+整个第二个集合」，不是你想要的对应位置的元素配对。
• 而把两个集合放进元组([_], [_])直接传给forEach的话，forEach没办法迭代这种复合结构，它只能处理单个的可遍历类型（比如数组、列表这类）。

如果你的语言没有内置的zip函数，也可以自己简单实现一个：遍历两个集合的索引，每次取出对应位置的元素组成配对，直到其中一个集合遍历完就停止。

备注：内容来源于stack exchange，提问作者user22893777