這個函數的類型是如何推斷的？

Question

我抓我的頭弄清楚這個功能

let make_rec f_norec = 
    let rec f x = f_norec f x in 
    f 

這應該是

val make_rec : (('a -> 'b) -> 'a -> 'b) -> 'a -> 'b = <fun>的簽名。

注意有一個奇怪的遞歸定義。當然，我錯過了一些知識。任何人都可以告訴我如何計算函數的類型（就像類型推斷系統一樣）？

非常感謝。

Answer 1

與內部的人開始，並向外工作：

1. 讓我們調用xa
2. 然後f類型的類型爲a -> b其中b是f
3. f_norec結果類型需要f和x，它必須返回與f相同的類型，因此(a->b) -> a -> b
4. make_rec需要f_norec，並返回f。因此((a->b)->a->b) -> (a->b)。由於句法原因，最後一對括號可以省略。