Haskell的類型不明確

Question

一個我試圖定義一個函數如下練習：

twice f x = f (f x) 

當我打印類型的兩次我看到：

Main> :t twice 
twice :: (a -> a) -> a -> a 

不知道我理解的在這裏輸出。因此twice需要輸入類型函數（類型爲a -> a）。它是否正確？如果是這樣，f如何評估爲功能類型（a -> a）？那麼這裏的twice的退貨類型是什麼？

Answer 1

twice f   x = f (f x) 
twice :: (a -> a) -> a -> a 

它是這樣的。

f是a -> a型的，x是a型的，f (f x)是a類型。

你應該通過f爲a -> a功能，如* 2

Answer 2

是的，這是正確的。

f的類型爲a -> a

這需要x其中有一個類型的a，應該能夠再次使用他的輸出，所以輸出應該是相同類型的輸入。

而twice與f具有相同的輸出類型，因此a。

這給了我們這樣的：

twice :: (a -> a) -> a -> a 
twice  f   x = f (f x)