如何在Haskell中自由地实现f(gx)(hx)？

Question

从这个答案中,我们学习了如何\x y z -> f x (g y z)在Haskell中以无意义的方式实现该函数,其中f和g是函数.我的问题是

如何\x -> f (g x) (h x)在Haskell中以无点的方式编写函数？以下是定义的f g h函数f (g x) (h x).

我目前想到的想法如下.

uncurry f (mapTuple ($ x) (g, h))

但是几次尝试表明这是错误的; 甚至部分map ($ x) [g, h]可疑:如果g和h有不同的范围？

此外,可读性在这里不是一个问题.

任何帮助都是真诚的感谢.

Answer 1

该箭头的版本将是

uncurry f . (g &&& h)

要么

(g &&& h) >>> uncurry f

如图:

        g ????
       ?          ?
???? &&&      >>>  uncurry f ???
       ?          ?
        h ????