haskell翻转仿真问题

Question

flip' :: (a -> b -> c) -> (b -> a -> c)   
flip' f = g   
    where g x y = f y x

我想问一下，在上面的flip'函数中，似乎flip'将返回一个名为g的函数，而gxy与fyx共享相同的值

但是，在“ where gxy = fyx”中，fyx是一个函数调用并返回一个值，gxy也将返回一个值，那么“ where v2 = v1”有意义吗？

我知道代码可以工作，但是我想更多地了解实现它的方式。

有人有主意吗？ 非常感谢

Answer 1

在where gxy = fyx ， gxy不是具有参数x和y的函数g 。 它是函数g的声明，它是一个具有2个参数x和y以及对fyx求值的fyx 。

因此，这意味着flip'给一个函数f服用2个参数将评估为g 。 g本身被定义为交换两个参数以调用f 。