結合兩個curried函數

Question

假設我們有兩個函數(a -> b -> c)。我想要有一個函數，它適用於a和b將給出d，從c合併指定的函數(c -> c -> d)。我想出了用箭頭此解決方案：

combine :: (a -> b -> c) -> (a -> b -> c) -> (c -> c -> d) -> (a -> b -> d) 
combine f g op = ((uncurry op) .) . (uncurry (&&&)) . (f &&& g) 

有沒有一種方式，更優雅的方式來做到這一點，或者概括它是適用於功能具有更大的元數（例如(a -> b -> c -> d) -> (a -> b -> c -> d) -> (d -> d -> e) -> (a -> b -> c -> e)）？

Answer 1

不要害怕明確。對我來說這是很容易閱讀：

combine :: (a -> b -> c) -> (a -> b -> c) -> (c -> c -> d) -> (a -> b -> d) 
combine f g op = \a b -> op (f a b) (g a b) 

不看任何醜陋更多arities：

combine3 f g op = \a b c -> op (f a b c) (g a b c) 

Answer 2

雖然我同意明確拉姆達可能是去這裏的路上，有替代品二進制f和g。對於一元f和g，解決方案是基本的。

combine f g op = liftM2 op f g 

二進制f和g，我們可以讓他們通過一元他們uncurrying，然後採用相同的解決方案！這使得二進制版本

combine2 f g op = curry $ liftM2 op (uncurry f) (uncurry g) 

我只是把它放在那裏作爲替代。