关于Arrow运算符的快速问题

Question

说我有f :: u -> v -> w和g :: x -> y -> z.我想要的是h :: (u,x) -> (v,y) -> (w,z).

所以我可以手动解决这个问题:

h (u,x) (v,y) = (f u v, g x y)

但那里的乐趣在哪里？

使用(***)我可以在那里中途:

(f *** g) :: (u,x) -> (v -> w, y -> z)

但我无法弄清楚如何获得最后一英里.

Answer 1

(***) :: (Arrow a) => a b c -> a b' c' -> a (b, b') (c, c')

所以专注于->我们得到:

(***) :: (Arrow a) => (b -> c) -> (b' -> c') -> (b, b') -> (c, c')

这很好,除了我们想要,无论出于何种原因,将前两个参数作为一对代替.但这很容易,我们只是不赞成.

Prelude Control.Arrow> :t uncurry (***)
uncurry (***) :: (Arrow a) => (a b c, a b' c') -> a (b, b') (c, c')

如果你a再次专门化,你应该看到你正在寻找的类型签名.