（flip。）的类型是什么？

Question

我试图了解为什么以下类型：

(flip .) is: (a -> a1 -> b -> c) -> a -> b -> a1 -> c

首先，类型：

flip: is (a -> b -> c) -> b -> a -> c (.): is (b -> c) -> (a -> b) -> a -> c

我将重命名变量以使其在解释中更加清楚，因此类型如下：

flip: is (ax -> bx -> cx) -> bx -> ax -> cx (.): is (by -> cy) -> (ay -> by) -> ay -> cy

然后，我尝试像这样替换：

ax = (by -> cy) bx = (ay -> by) cx = ay -> cy

因此，结果类型为：（ay-> by）（by-> cy）-> ay-> cy，这与正确的结果不同。

有什么帮助吗？

谢谢，塞巴斯蒂安。

Answer 1

(flip .)是(.) flip ，因此：

• (.) :: (bx -> cx) -> (ax -> bx) -> ax -> cx
• flip :: (ay -> by -> cy) -> by -> ay -> cy
• 在(.) flip ，
  • bx是ay -> by -> cy
  • cx是by -> ay -> cy
  • 都是这样(ax -> (ay -> by -> cy)) -> ax -> (by -> ay -> cy) ，
    就是(ax -> ay -> by -> cy) -> ax -> by -> ay -> cy ，
    与(flip .) :: (a -> a1 -> b -> c) -> a -> b -> a1 -> c匹配。