1
foo (a1,a2) (b1,b2) (c1,c2) = (bar a1 b1 c1, bar2 a2 b2 c2)

我有很多具有不同数量的参数元组的构造。如果是

foo' (a1,a2) = (bar' a1, bar2' a2)

我想“嘿,那是箭!”:

foo' = bar' *** bar2'

但是我还不能弄清楚具有多个输入元组的函数(如第一行代码)是否以及如何映射到箭头样式。处理此类功能的通用方法是什么?理想情况下,我总是想要类似foo = bar ... bar2.

4

1 回答 1

5
let (****) = uncurry (***) in (bar1, bar2) **** (a1, a2) **** (b1, b2) **** (c1, c2)
于 2012-08-18T14:26:50.780 回答