如何定义此功能的类型配置文件？

Question

我必须定义此函数的类型配置文件：

twice f x = f (f x);

结果应该是以下内容，但我不知道为什么。

('a -> 'a) -> 'a -> 'a

Answer 1

(a -> a) -> a -> a是正确的答案。 让我们将其分成几部分以找出原因。

1. 您的函数带有两个参数f和x ，因此签名将分为三个部分-例如a- a -> c -> d
2. 这些参数中的第一个是一元函数-使a = (a -> b) a- a = (a -> b) （请记住a可以是任何类型，只要在签名中仅出现一次）并且签名看起来像(a -> b) -> c -> d
3. twice的结果与第一个参数的结果相同-使得d = b和签名(a -> b) -> c -> b
4. f以twice第二个参数作为其参数-这使c = a且签名看起来像这样： (a -> b) -> a -> b
5. twice应用于其自己的输出，这意味着a = b这使得最终签名(a -> a) -> a -> a