爲什麼下面的函數T的類型 - >（ - > T1 T） - > T1

Question

rev a b = b a 

我只是不明白，爲什麼這個功能有t -> (t -> t1) -> t1類型？

Answer 1

b a是函數b到申辯應用程序所得到的類型a。這就是所有編譯器都可以推導出的關於a和b是什麼，所以它將名稱t和t1分配給該函數的參數類型以及該函數的返回類型，並說rev接受一個參數和一個函數該參數並返回應用程序的結果。

Answer 2

開始與右側：你申請a到b - 所以b需求是一個函數（它具有有一些類型a -> b）型（姑且稱之爲b :: t -> t1）和a必須與此相兼容 - 意a :: t

沒有明顯如果b的值域（t1這裏）