将函数应用于列表中的每个元素到另一个列表中的每个元素

Question

我想要一种更优雅的方式来编写以下两个函数，最好是一个：

applyOperatorBetweenVariableLists:: [Variable] -> String -> [Variable] -> [Variable]
applyOperatorBetweenVariableLists firstList operator secondList = concat $ map (test firstList operator) secondList

test:: [Variable] -> String -> Variable -> [Variable]
test firstVariables operator secondVariable = concat $ map (applyOperatorBetweenVariables secondVariable operator) firstVariables

applyOperatorBetweenVariables的声明是：

applyOperatorBetweenVariables:: Variable -> String -> Variable -> [Variable]

我很确定一定有一个 Prelude 函数可以做到这一点，或者是一种非常优雅的编写方式。

Answer 1

这可以用do块简洁地do ：

applyOperatorBetweenVariableLists firstList operator secondList = do
  secondVariable <- secondList
  firstVariable <- firstList
  applyOperatorBetweenVariables secondVariable operator firstVariable

如果你想更简洁，你可以重新排列applyOperatorBetweenVariableLists和applyOperatorBetweenVariables的参数，然后使用liftJoin2或bind2来实现它（就像我下面的最后一句话，但用它代替liftA2 ）。

---

我原来的答案是错误的，因为它留下了一层嵌套（即，应该做一个额外的concat或join ）：

这几乎只是liftA2 ，但你的论点是在一个奇怪的顺序。 以下是您如何实现您所写的内容：

import Control.Applicative (liftA2)
applyOperatorBetweenVariableLists firstList operator secondList = liftA2 (flip applyOperatorBetweenVariables operator) secondList firstList

根据该定义，您应该清楚如何将其更改和简化为applyOperatorBetweenVariableLists = liftA2 . applyOperatorBetweenVariables applyOperatorBetweenVariableLists = liftA2 . applyOperatorBetweenVariables只是通过重新排序它的参数和applyOperatorBetweenVariables 。