将函数映射到每个参数的列表上

Question

我正在寻找一些有吸引力的 Haskell 语法，

我有一个需要 4 个参数的函数。

fabcd =

我想为每个参数提供一个列表，并返回每个组合的结果列表。

本质上是一个嵌套的映射函数。

我觉得应该有一个优雅的解决方案。但是，我还没有找到任何可以编译的东西。

Answer 1

您的问题不是很清楚：您是否想要所有可能的组合（从第一个列表中获取任何 a ，从第二个列表中获取任何 b 等）或并行处理列表zip（每个列表的第一个元素，第二个元素，依此类推）。

两者都可以通过应用函子很好地解决：

Prelude> let f a b c d = (a,b,c,d)
Prelude Control.Applicative> :m +Control.Applicative 
Prelude Control.Applicative> f <
gt; [1,2] <*> [3,4] <*> [5,6] <*> [7,8]
[(1,3,5,7),(1,3,5,8),(1,3,6,7),(1,3,6,8),(1,4,5,7),(1,4,5,8),(1,4,6,7),(1,4,6,8),(2,3,5,7),(2,3,5,8),(2,3,6,7),(2,3,6,8),(2,4,5,7),(2,4,5,8),(2,4,6,7),(2,4,6,8)]
Prelude Control.Applicative> getZipList $ f <
gt; ZipList [1,2] <*> ZipList [3,4] <*> ZipList [5,6] <*> ZipList [7,8]
[(1,3,5,7),(2,4,6,8)]

Answer 2

我想我明白你在寻找什么：

fourway f as bs cs ds = map (curry4 f)
[(r,s,t,u) | r <-as、s<-bs、t<-
cs, u <- ds]
其中 curry4 f (a,b,c,d) = fabc d

你可以免费完成这一点并且更可爱，但我认为这就是你想要的并且更容易阅读。