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)