功能的數據類型是SML

Question

不清楚鑑於SML以下功能：

fun i a b = let fun j()=a+1 in j end; 

函數的數據類型是：

val i = fn : int -> 'a -> unit -> int 

我不明白爲什麼int -> 'a -> unit -> int？

爲什麼不是(int * a') -> unit -> int，因爲功能i接收到兩個輸入。

Answer 1

如果將函數定義爲fun i (a,b) = ...，那麼它將需要一個元組作爲參數，其類型確實是(int * 'a) -> unit -> int。它將被稱爲i (23,42)()（(23,42)是一個元組，()是單位值）。

但是，您將其定義爲fun i a b = ...，它定義了一個函數，該函數接受一個參數，然後返回接受下一個參數的另一個函數。這是fun i a = fn b => ...的快捷方式。它可以被稱爲i a b()。

Answer 2

這個功能（以及SML中的任何功能）實際上都是接收的一個輸入，因爲是currying。

從技術上講，有函數需要單位，即返回帶有返回函數的函數。

所以

fun foo a b = a + b; 

是just an syntactic sugar到

fun foo a = fn b => a + b; 

等。