如何定義此功能的類型配置文件？

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