鏈接多參數函數

Question

假設我有兩個函數，f:X->Y和g:Y*Y->Z。 我想做第三個功能，h(a, b) = g(f(a), f(b))。

h a b = g (f a) (f b) 

有沒有什麼辦法像h(a, b) = g*f (a, b)那樣寫出來？

而如果h(a,b,c,d) = g2*g1*f2*f1 (a,b,c,d)，其中g_i需要2個參數？

Answer 1

通過right signature從Hoogle搜索函數中找到來自Data.Function的on。根據其文件，

g `on` f 

似乎是你想要的。

Answer 2

的on組合子（在Data.Function，在另一個答案中指出GSPR）由

g `on` f = \x y -> g (f x) (f y) 

定義，這將允許你寫

h = g `on` f 

可以使高維推廣對此，例如

g `on3` f = \x y z -> g (f x) (f y) (f z) 

g `on4` f = \w x y z -> g (f w) (f x) (f y) (f z) 

，因此，你可以寫

h = g `on3` f 

有可能是寫on3和on4在on方面的一種方式，但如果我不能看到它的那一刻。

Answer 3

您可能還會發現箭頭有趣。下面是做這件事：

h g f a b = uncurry g ((f *** f) (a, b)) 

即相當於你的榜樣（除了g和f是不是免費的）和on。使用：

• 的***definition的功能：

  (***) f g ~(x,y) = (f x, g y) 
  

• definitionuncurry的：

  uncurry f p = f (fst p) (snd p) 
  

而以他們爲原來的公式：

1. h g f a b = uncurry g (f a, f b)（使用***定義）

2. h g f a b = g (f a) (f b)（使用uncurry定義）