爲什麼Haskell的「flip id」有這種類型？

Question

我很好奇flip id（這不是作業：我在getOpt文檔中找到它）。

我不知道爲什麼它有這個類型：

Prelude> :t (flip id) 
(flip id) :: b -> (b -> c) -> c 

例如，(flip id) 5 (+6)給11。

我知道爲什麼id (+6) 5給出11，但我沒有「得到」flip id的東西。

我試圖用筆和紙自己弄清楚，但不能。有誰可以向我解釋這個嗎？我的意思是，flip id怎麼會有b -> (b -> c) -> c？

Answer 1

的id功能有此類型：

id :: a -> a 

你得到這種類型的實例，當你更換a通過a -> b：

id :: (a -> b) -> (a -> b) 

其中，因爲討好的，是一樣的：

id :: (a -> b) -> a -> b 

現在申請flip到這一點，你會得到：

flip id :: a -> (a -> b) -> b 

在id (+)的情況下的實例是：

id :: (Num a) => (a -> a) -> (a -> a) 

現在flip id爲您提供：

flip id :: (Num a) => a -> (a -> a) -> a 

邊注：這也說明了如何($)與id相同，僅限於更受限制的類型：

($) :: (a -> b) -> a -> b 
($) f x = f x 
-- unpoint: 
($) f = f 
-- hence: 
($)  = id