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 。