如何在已定義的F＃函數中交換應用程序的順序？

Question

一般給出一個函數f:a->b->c

我希望創建一個做同樣的事情/計算使得f並不但與兩個輸入參數（或鑽營順序）的順序調換周圍的功能。

所以尋找g:b->a->c其中g不完全相同的計算爲f

==

let transform1 (f:a->b->c) : (b->a->c) = 
? 

Answer 1

實際上，你可以從功能如何做到這一點的類型告訴。

transform1具有類型(a -> b -> c) -> (b -> a -> c)或等同於(a -> b -> c) -> b -> a -> c。

所以你要找的是一個函數，

• 功能a -> b -> c我們稱之爲f，
• 和b，
• 和a，
• 和然後使用f與a和b以產生c。

由於只有一個「用」 f與a方式和產生你寫這樣下來c的b：

flip f b a = f a b 

，就是這樣。

Answer 2

在Haskell你是這樣做的：

g b a = f a b -- or using lambda expressions: (\b a -> f a b) 

所以在let聲明：let g = (\b a -> f a b) in ...

Answer 3

你可以這樣定義一個函數swap：

let swap f a b = f b a